Lipscomb, Tyson Gödel’s incompleteness theorems: a revolutionary view of the nature of mathematical pursuits. (English) Zbl 1398.03002 Undergrad. Math J. 11, No. 1, Paper No. 8, 24 p. (2010). MSC: 03-03 03F40 01A60 PDFBibTeX XMLCite \textit{T. Lipscomb}, Undergrad. Math J. 11, No. 1, Paper No. 8, 24 p. (2010; Zbl 1398.03002) Full Text: Link
Karela, Catherine Hilbert on different notions of completeness: a conceptual and historical analysis. (English) Zbl 1295.01007 Almagest 1, No. 2, 116-127 (2010). Reviewer: Douglas Bridges (Christchurch/New Zealand) MSC: 01A60 03-03 PDFBibTeX XMLCite \textit{C. Karela}, Almagest 1, No. 2, 116--127 (2010; Zbl 1295.01007) Full Text: DOI
Dostálová, Ludmila Hilbert’s programme: on the change of mathematical practice before and after Gödel’s incompleteness theorems. (Czech) Zbl 1289.03001 Bečvářová, Martina (ed.) et al., Matematika v proměnách véků. VI. Prague: Matfyzpress (ISBN 978-80-7378-146-0). Dějiny Matematiky / History of Mathematics 45, 175-185 (2010). Reviewer: Jiří Hudeček (Praha) MSC: 03-03 01A60 03F40 PDFBibTeX XMLCite \textit{L. Dostálová}, Děj. Mat. / Hist. Math. 45, 175--185 (2010; Zbl 1289.03001) Full Text: Link
Xu, Wen-bin Quantitative logic theory in Gödel system. (English) Zbl 1260.03051 Cao, Bing-Yuan (ed.) et al., Quantitative logic and soft computing 2010. Vol. 2. Proceedings of the 2nd international conference (QL & SC 2010), Xiamen, China, October 22–25, 2010. Berlin: Springer (ISBN 978-3-642-15659-5/pbk; 978-3-642-15660-1/ebook). Advances in Intelligent and Soft Computing 82, 303-309 (2010). MSC: 03B50 68T27 PDFBibTeX XMLCite \textit{W.-b. Xu}, Adv. Intell. Soft Comput. 82, 303--309 (2010; Zbl 1260.03051) Full Text: DOI
Sautter, Frank Thomas Chateaubriand’s realist conception of logic. (English) Zbl 1230.03033 Axiomathes 20, No. 2-3, 357-364 (2010). MSC: 03A05 00A30 PDFBibTeX XMLCite \textit{F. T. Sautter}, Axiomathes 20, No. 2--3, 357--364 (2010; Zbl 1230.03033) Full Text: DOI
Li, Chengyun; Zhang, Xingfang The distribution of truth degrees in Gödel logic and \(L^*\) logic. (Chinese. English summary) Zbl 1240.03009 J. Syst. Sci. Math. Sci. 30, No. 10, 1417-1428 (2010). MSC: 03B50 03B52 PDFBibTeX XMLCite \textit{C. Li} and \textit{X. Zhang}, J. Syst. Sci. Math. Sci. 30, No. 10, 1417--1428 (2010; Zbl 1240.03009)
Cui, Meihua The \(D\)-conditional truth degree of formulas and approximate reasoning in the \(G_3\) propositional logic system. (Chinese. English summary) Zbl 1240.03005 J. Shandong Univ., Nat. Sci. 45, No. 11, 52-58 (2010). MSC: 03B50 03B52 68T37 PDFBibTeX XMLCite \textit{M. Cui}, J. Shandong Univ., Nat. Sci. 45, No. 11, 52--58 (2010; Zbl 1240.03005)
Cui, Meihua; Xu, Luoshan Randomized truth degrees of formulas and approximate reasoning based on premise information in 3-valued Gödel propositional logic. (Chinese. English summary) Zbl 1240.03007 J. Yangzhou Univ., Nat. Sci. Ed. 13, No. 2, 1-5 (2010). MSC: 03B50 03B52 68T37 PDFBibTeX XMLCite \textit{M. Cui} and \textit{L. Xu}, J. Yangzhou Univ., Nat. Sci. Ed. 13, No. 2, 1--5 (2010; Zbl 1240.03007)
Kritchman, Shira; Raz, Ran The surprise examination paradox and the second incompleteness theorem. (English) Zbl 1261.03159 Notices Am. Math. Soc. 57, No. 11, 1454-1458 (2010). MSC: 03F40 03A05 68Q30 PDFBibTeX XMLCite \textit{S. Kritchman} and \textit{R. Raz}, Notices Am. Math. Soc. 57, No. 11, 1454--1458 (2010; Zbl 1261.03159) Full Text: arXiv
Galmiche, Didier; Salhi, Yakoub A family of Gödel hybrid logics. (English) Zbl 1215.03045 J. Appl. Log. 8, No. 4, 371-385 (2010). MSC: 03B62 03B45 03B52 03B55 PDFBibTeX XMLCite \textit{D. Galmiche} and \textit{Y. Salhi}, J. Appl. Log. 8, No. 4, 371--385 (2010; Zbl 1215.03045) Full Text: DOI
Parsons, Charles Platonism and mathematical intuition in Kurt Gödel’s thought. (English) Zbl 1208.03007 Feferman, Solomon (ed.) et al., Kurt Gödel. Essays for his centennial. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). Lecture Notes in Logic 33, 326-355 (2010). MSC: 03-03 01A60 00A30 03A05 PDFBibTeX XMLCite \textit{C. Parsons}, Lect. Notes Log. 33, 326--355 (2010; Zbl 1208.03007)
van Atten, Mark; Kennedy, Juliette On the philosophical development of Kurt Gödel. (English) Zbl 1208.03010 Feferman, Solomon (ed.) et al., Kurt Gödel. Essays for his centennial. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). Lecture Notes in Logic 33, 275-325 (2010). MSC: 03-03 01A60 03A05 PDFBibTeX XMLCite \textit{M. van Atten} and \textit{J. Kennedy}, Lect. Notes Log. 33, 275--325 (2010; Zbl 1208.03010)
Awodey, Steve; Carus, A. W. Gödel and Carnap. (English) Zbl 1221.03002 Feferman, Solomon (ed.) et al., Kurt Gödel. Essays for his centennial. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). Lecture Notes in Logic 33, 252-274 (2010). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03-03 01A60 03A05 PDFBibTeX XMLCite \textit{S. Awodey} and \textit{A. W. Carus}, Lect. Notes Log. 33, 252--274 (2010; Zbl 1221.03002)
Goldfarb, Warren On Gödel’s way in: the influence of Rudolf Carnap. (English) Zbl 1208.03004 Feferman, Solomon (ed.) et al., Kurt Gödel. Essays for his centennial. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). Lecture Notes in Logic 33, 242-251 (2010). MSC: 03-03 01A60 03A05 PDFBibTeX XMLCite \textit{W. Goldfarb}, Lect. Notes Log. 33, 242--251 (2010; Zbl 1208.03004)
Davis, Martin What did Gödel believe and when did he believe it? (English) Zbl 1208.03001 Feferman, Solomon (ed.) et al., Kurt Gödel. Essays for his centennial. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). Lecture Notes in Logic 33, 229-241 (2010). MSC: 03-03 00A30 01A60 03A05 03E50 PDFBibTeX XMLCite \textit{M. Davis}, Lect. Notes Log. 33, 229--241 (2010; Zbl 1208.03001)
Koellner, Peter On the question of absolute undecidability. (English) Zbl 1267.03012 Feferman, Solomon (ed.) et al., Kurt Gödel. Essays for his centennial. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). Lecture Notes in Logic 33, 189-225 (2010). MSC: 03A05 03-03 01A60 03E15 03E35 03E50 03E55 03E60 PDFBibTeX XMLCite \textit{P. Koellner}, Lect. Notes Log. 33, 189--225 (2010; Zbl 1267.03012)
Burgess, John P. On the outside looking in: a caution about conservativeness. (English) Zbl 1241.03003 Feferman, Solomon (ed.) et al., Kurt Gödel. Essays for his centennial. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). Lecture Notes in Logic 33, 128-141 (2010). Reviewer: Liesbeth De Mol (Gent) MSC: 03A05 03-03 01A60 03B30 PDFBibTeX XMLCite \textit{J. P. Burgess}, Lect. Notes Log. 33, 128--141 (2010; Zbl 1241.03003)
Tait, W. W. Gödel on intuition and on Hilbert’s finitism. (English) Zbl 1220.03004 Feferman, Solomon (ed.) et al., Kurt Gödel. Essays for his centennial. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). Lecture Notes in Logic 33, 88-108 (2010). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03-03 01A60 03A05 PDFBibTeX XMLCite \textit{W. W. Tait}, Lect. Notes Log. 33, 88--108 (2010; Zbl 1220.03004)
Sieg, Wilfried Only two letters: the correspondence between Herbrand and Gödel. (English) Zbl 1208.03008 Feferman, Solomon (ed.) et al., Kurt Gödel. Essays for his centennial. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). Lecture Notes in Logic 33, 61-73 (2010). MSC: 03-03 01A60 01A70 PDFBibTeX XMLCite \textit{W. Sieg}, Lect. Notes Log. 33, 61--73 (2010; Zbl 1208.03008)
Avigad, Jeremy Gödel and the metamathematical tradition. (English) Zbl 1220.03001 Feferman, Solomon (ed.) et al., Kurt Gödel. Essays for his centennial. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). Lecture Notes in Logic 33, 45-60 (2010). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03-03 03F03 01A60 03A05 PDFBibTeX XMLCite \textit{J. Avigad}, Lect. Notes Log. 33, 45--60 (2010; Zbl 1220.03001)
Feferman, Solomon The Gödel editorial project: a synopsis. (English) Zbl 1208.03003 Feferman, Solomon (ed.) et al., Kurt Gödel. Essays for his centennial. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). Lecture Notes in Logic 33, 3-20 (2010). MSC: 03-03 01A60 01A75 PDFBibTeX XMLCite \textit{S. Feferman}, Lect. Notes Log. 33, 3--20 (2010; Zbl 1208.03003)
Li, Chengyun; Zhang, Xingfang Function decided formula problem in Gödel logic system. (Chinese. English summary) Zbl 1224.03009 J. Syst. Sci. Math. Sci. 30, No. 2, 283-288 (2010). MSC: 03B50 03B52 PDFBibTeX XMLCite \textit{C. Li} and \textit{X. Zhang}, J. Syst. Sci. Math. Sci. 30, No. 2, 283--288 (2010; Zbl 1224.03009)
Urquhart, Alasdair Von Neumann, Gödel and complexity theory. (English) Zbl 1226.03004 Bull. Symb. Log. 16, No. 4, 516-530 (2010). Reviewer: Mihai Prunescu (Freiburg i. Br.) MSC: 03-03 68-03 03D15 68Q15 01A60 PDFBibTeX XMLCite \textit{A. Urquhart}, Bull. Symb. Log. 16, No. 4, 516--530 (2010; Zbl 1226.03004) Full Text: DOI
Mancosu, Paolo [Zach, R.; Badesa, C.; Marion, M.; Ryckman, T.] The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900–1940. (English) Zbl 1237.03005 Oxford: Oxford University Press (ISBN 978-0-19-954653-4/hbk). x, 618 p. (2010). Reviewer: Chris Pincock (Columbia) MSC: 03A05 00A30 01A60 03-02 03-03 PDFBibTeX XMLCite \textit{P. Mancosu}, The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900--1940. Oxford: Oxford University Press (2010; Zbl 1237.03005)
Pleitz, Martin Curves in Gödel-space: towards a structuralist ontology of mathematical signs. (English) Zbl 1208.03014 Stud. Log. 96, No. 2, 193-218 (2010). MSC: 03A05 00A30 PDFBibTeX XMLCite \textit{M. Pleitz}, Stud. Log. 96, No. 2, 193--218 (2010; Zbl 1208.03014) Full Text: DOI
Kushida, Hirohiko The modal logic of Gödel sentences. (English) Zbl 1205.03066 J. Philos. Log. 39, No. 5, 577-590 (2010). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03F45 03B45 03F30 PDFBibTeX XMLCite \textit{H. Kushida}, J. Philos. Log. 39, No. 5, 577--590 (2010; Zbl 1205.03066) Full Text: DOI
Gordeev, L. A note on da Costa-Doria “exotic formalizations”. (English) Zbl 1206.03011 Arch. Math. Logic 49, No. 7-8, 813-821 (2010). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03B10 03B70 03F30 03F40 68Q15 PDFBibTeX XMLCite \textit{L. Gordeev}, Arch. Math. Logic 49, No. 7--8, 813--821 (2010; Zbl 1206.03011) Full Text: DOI
Krivtsov, Victor N. An intuitionistic completeness theorem for classical predicate logic. (English) Zbl 1204.03019 Stud. Log. 96, No. 1, 109-115 (2010). Reviewer: Branislav Boričić (Beograd) MSC: 03B10 PDFBibTeX XMLCite \textit{V. N. Krivtsov}, Stud. Log. 96, No. 1, 109--115 (2010; Zbl 1204.03019) Full Text: DOI
Lori, Nicolás F.; Blin, Alex H. Application of quantum Darwinism to cosmic inflation: an example of the limits imposed in Aristotelian logic by information-based approach to Gödel’s incompleteness. (English) Zbl 1201.83050 Found. Sci. 15, No. 2, 199-211 (2010). MSC: 83F05 81S10 03A05 94A17 62P35 81T20 PDFBibTeX XMLCite \textit{N. F. Lori} and \textit{A. H. Blin}, Found. Sci. 15, No. 2, 199--211 (2010; Zbl 1201.83050) Full Text: DOI
McCabe, Gordon The non-unique universe. (English) Zbl 1200.83016 Found. Phys. 40, No. 6, 629-637 (2010). MSC: 83C05 83C99 83F05 PDFBibTeX XMLCite \textit{G. McCabe}, Found. Phys. 40, No. 6, 629--637 (2010; Zbl 1200.83016) Full Text: DOI arXiv
Mühlhölzer, Felix Does mathematics need a foundation? A commentary on Part III of Wittgenstein’s “Remarks on the foundations of mathematics”. (Braucht die Mathematik eine Grundlegung? Ein Kommentar des Teils III von Wittgensteins “Bemerkungen über die Grundlagen der Mathematik”.) (German) Zbl 1223.03003 Frankfurt am Main: Vittorio Klostermann (ISBN 978-3-465-03667-8/hbk). xiv, 602 p. (2010). Reviewer: Gregor Nickel (Siegen) MSC: 03-03 00A30 01A60 03A05 PDFBibTeX XMLCite \textit{F. Mühlhölzer}, Braucht die Mathematik eine Grundlegung? Ein Kommentar des Teils III von Wittgensteins ``Bemerkungen über die Grundlagen der Mathematik''. Frankfurt am Main: Vittorio Klostermann (2010; Zbl 1223.03003)
Fiorino, Guido Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus. (English) Zbl 1202.03026 Inf. Sci. 180, No. 19, 3633-3646 (2010). MSC: 03B35 03B55 PDFBibTeX XMLCite \textit{G. Fiorino}, Inf. Sci. 180, No. 19, 3633--3646 (2010; Zbl 1202.03026) Full Text: DOI
Marra, Vincenzo Is there a probability theory of many-valued events? (English) Zbl 1206.03024 Hosni, Hykel (ed.) et al., Probability, uncertainty and rationality. Pisa: Edizioni della Normale (ISBN 978-88-7642-347-5/hbk). Centro di Ricerca Matematica Ennio De Giorgi (CRM) Series (Nuova Serie) 10, 141-166 (2010). MSC: 03B48 03B50 PDFBibTeX XMLCite \textit{V. Marra}, CRM Ser. (N.S.) 10, 141--166 (2010; Zbl 1206.03024)
Liu, Xiaoli Gödel’s philosophical program and Husserl’s phenomenology. (English) Zbl 1198.03004 Synthese 175, No. 1, 33-45 (2010). MSC: 03-03 01A60 03A05 PDFBibTeX XMLCite \textit{X. Liu}, Synthese 175, No. 1, 33--45 (2010; Zbl 1198.03004) Full Text: DOI
Longo, Giuseppe Incomputability in physics. (English) Zbl 1286.03018 Ferreira, Fernando (ed.) et al., Programs, proofs, processes. 6th conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30–July 4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13961-1/pbk). Lecture Notes in Computer Science 6158, 276-285 (2010). MSC: 03A05 00A30 00A79 03D32 03F40 PDFBibTeX XMLCite \textit{G. Longo}, Lect. Notes Comput. Sci. 6158, 276--285 (2010; Zbl 1286.03018) Full Text: DOI
Djouadi, Yassine; Prade, Henri Interval-valued fuzzy Galois connections: algebraic requirements and concept lattice construction. (English) Zbl 1205.68403 Fundam. Inform. 99, No. 2, 169-186 (2010). MSC: 68T30 03B52 06A15 06B75 68T37 PDFBibTeX XMLCite \textit{Y. Djouadi} and \textit{H. Prade}, Fundam. Inform. 99, No. 2, 169--186 (2010; Zbl 1205.68403) Full Text: DOI
Caicedo, Xavier; Rodriguez, Ricardo O. Standard Gödel modal logics. (English) Zbl 1266.03030 Stud. Log. 94, No. 2, 189-214 (2010). MSC: 03B45 03B50 03B52 PDFBibTeX XMLCite \textit{X. Caicedo} and \textit{R. O. Rodriguez}, Stud. Log. 94, No. 2, 189--214 (2010; Zbl 1266.03030) Full Text: DOI
Aguzzoli, Stefano; Gerla, Brunella Probability measures in the logic of nilpotent minimum. (English) Zbl 1209.03054 Stud. Log. 94, No. 2, 151-176 (2010). Reviewer: Daniele Mundici (Firenze) MSC: 03G25 03B50 06D35 28A60 60A05 PDFBibTeX XMLCite \textit{S. Aguzzoli} and \textit{B. Gerla}, Stud. Log. 94, No. 2, 151--176 (2010; Zbl 1209.03054) Full Text: DOI
Bezhanishvili, Guram; Morandi, Patrick J. Scattered and hereditarily irresolvable spaces in modal logic. (English) Zbl 1196.03031 Arch. Math. Logic 49, No. 3, 343-365 (2010). MSC: 03B45 54G12 PDFBibTeX XMLCite \textit{G. Bezhanishvili} and \textit{P. J. Morandi}, Arch. Math. Logic 49, No. 3, 343--365 (2010; Zbl 1196.03031) Full Text: DOI
Hájek, Petr On witnessed models in fuzzy logic. III: Witnessed Gödel logics. (English) Zbl 1191.03019 Math. Log. Q. 56, No. 2, 171-174 (2010). MSC: 03B52 03B50 PDFBibTeX XMLCite \textit{P. Hájek}, Math. Log. Q. 56, No. 2, 171--174 (2010; Zbl 1191.03019) Full Text: DOI
Leigh, Graham Emil; Rathjen, Michael An ordinal analysis for theories of self-referential truth. (English) Zbl 1194.03051 Arch. Math. Logic 49, No. 2, 213-247 (2010). Reviewer: Andrea Cantini (Firenze) MSC: 03F03 03F05 03F25 03F30 03F35 03F40 03A05 PDFBibTeX XMLCite \textit{G. E. Leigh} and \textit{M. Rathjen}, Arch. Math. Logic 49, No. 2, 213--247 (2010; Zbl 1194.03051) Full Text: DOI
Manin, Yu. I. [Zilber, Boris] A course in mathematical logic for mathematicians. Chapters I–VIII translated from the Russian by Neal Koblitz. With new chapters by Boris Zilber and Yuri I. Manin. 2nd ed. (English) Zbl 1180.03002 Graduate Texts in Mathematics 53. Berlin: Springer (ISBN 978-1-4419-0614-4/hbk; 978-1-4419-0615-1/ebook). xviii, 384 p. (2010). Reviewer: Branislav Boričić (Beograd) MSC: 03-01 03-02 03B10 03B25 03C07 03C10 03C35 03C45 03C98 03D20 03D35 03D80 03E30 03E35 03E50 03F20 03F30 03F40 11U05 20A15 68Q05 68Q15 81P10 94C10 PDFBibTeX XMLCite \textit{Yu. I. Manin}, A course in mathematical logic for mathematicians. Chapters I--VIII translated from the Russian by Neal Koblitz. With new chapters by Boris Zilber and Yuri I. Manin. 2nd ed. Berlin: Springer (2010; Zbl 1180.03002) Full Text: DOI
Li, Wei Mathematical logic. Foundations for information science. (English) Zbl 1185.03001 Progress in Computer Science and Applied Logic 25. Basel: Birkhäuser (ISBN 978-3-7643-9976-4/hbk). xii, 261 p. (2010). Reviewer: Alex Nabebin (Moskva) MSC: 03-01 03B05 03B10 03B25 03B80 00A06 PDFBibTeX XMLCite \textit{W. Li}, Mathematical logic. Foundations for information science. Basel: Birkhäuser (2010; Zbl 1185.03001)