Chapter ID: CBB001210350

Set Theory, Model Theory, and Computability Theory (2009)

unapi
Included in

Book Haaparanta, Leila (2009) The Development of Modern Logic. unapi

Citation URI
https://data.isiscb.org/isis/citation/CBB001210350/

Similar Citations

Book Davis, Martin; (2000)
The Universal Computer: The Road from Leibniz to Turing (/isis/citation/CBB000102163/)

Article Michael Friedman; (2016)
Über drei Erscheinungen von Unterschied in der Mathematik (/isis/citation/CBB583491506/)

Review Christopher P. Porter; (2019)
Review of "Computability: Turing, Gödel, Church, and Beyond" (/isis/citation/CBB429673039/)

Book B. Jack Copeland; Carl J. Posy; Oron Shagrir; (2015)
Computability: Turing, Gödel, Church, and Beyond (/isis/citation/CBB900019272/)

Article Cooper, S. Barry; (2012)
Incomputability after Alan Turing (/isis/citation/CBB001211736/)

Article Copeland, B. Jack; Proudfoot, Diane; (2011-2012)
Alan Turing, Father of the Modern Computer (/isis/citation/CBB001210378/)

Chapter Mancosu, Paolo; Zach, Richard; Badesa, Calixto; (2009)
The Development of Mathematical Logic from Russell to Tarski, 1900--1935 (/isis/citation/CBB001210349/)

Book Turing, Alan Mathison; Appel, Andrew W.; Feferman, Solomon; (2012)
Alan Turing's Systems of Logic: The Princeton Thesis (/isis/citation/CBB001213136/)

Article Sojo, Aurea Anguera de; Ares, Juan; Lara, Juan A.; Lizcano, David; Martínez, María A.; Pazos, Juan; (2013)
Turing and the Serendipitous Discovery of the Modern Computer (/isis/citation/CBB001320868/)

Article McCullough, Philip Murray; (2010)
Otto in the Chinese Room (/isis/citation/CBB001023796/)

Chapter Awodey, S.; (2003)
Carnap vs. Gödel on Syntax and Tolerance (/isis/citation/CBB001213683/)

Article Maddy, Penelope; (1980)
Perception and mathematical intuition (/isis/citation/CBB000005837/)

Chapter Nicoletta Sabadini; Filippo Schiavio; (2016)
Da Turing all'ipercomputazione: un approccio algebrico all'interazione tra sistemi aperti (/isis/citation/CBB968632247/)

Book Agar, Jon; (2001)
Turing and the Universal Machine: The Making of the Modern Computer (/isis/citation/CBB000358323/)

Book Lavington, S. H.; Campbell-Kelly, Martin; (2012)
Alan Turing and His Contemporaries: Building the World's First Computers (/isis/citation/CBB001251446/)

Book Link, Godehard; (2004)
One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy (/isis/citation/CBB001212888/)

Chapter Weiner, Joan; (2010)
Understanding Frege's Project (/isis/citation/CBB001211648/)

Authors & Contributors
Copeland, B. Jack
Turing, Alan Mathison
Grattan-Guinness, Ivor
Filippo Schiavio
Nicoletta Sabadini
Porter, Christopher P.
Journals
Spontaneous Generations
Rutherford Journal: The New Zealand Journal for the History and Philosophy of Science and Technology
Philosophical Review
Notices of the American Mathematical Society
Historia Mathematica
Foundations of Science
Publishers
Princeton University Press
Walter de Gruyter
W. W. Norton & Co.
Totem
The MIT Press
Oxford University Press
Concepts
Logic
Computers and computing
Mathematics
Computer science
Philosophy
Set theory
People
Turing, Alan Mathison
Gödel, Kurt
Russell, Bertrand Arthur William
Cantor, Georg Ferdinand Ludwig
Zermelo, Ernst
Von Neumann, John
Time Periods
20th century
20th century, early
19th century
21st century
Ancient
20th century, late
Places
Great Britain
Middle and Near East
United States
Mesopotamia
Institutions
Princeton University
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment