Most debates on conceptual structures have focused on (Hilbert) formal theories, due to the absence of stronger theoretical frameworks (despite nearly 80 years of searching). In this paper we look for new conceptual structures by looking for weaker theories. We contend both that weaker theories are possible, and that they offer useful alternatives to the better known formal theories. © 2011 Springer-Verlag.
CITATION STYLE
Love, D. (2011). Rigorous, and informal? In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6828 LNAI, pp. 304–308). https://doi.org/10.1007/978-3-642-22688-5_23
Mendeley helps you to discover research relevant for your work.