Upload tuere-sunbobo
View 245
Download 1
Embed Size (px) 344 x 292 429 x 357 514 x 422 599 x 487
Citation preview
Gödel vs. Mechanism
PENELOPE MADDY1socsci.uci.edu/~pjmaddy/bio/proper classes.pdfMathematical logic from Frege to . Godel (J. van Heijenoort, ed.), Harvard University Press, Cambridge, Mass., 1967, pp
Frege Explained
A Tribute to Kurt Gödel - American Mathematical Society · A Tribute to Kurt Gödel. Einstein and Gödel, 13 May 1947, taken by Oskar Morgenstern Gödel at the blackboard Oskar Morgenstern
La Herencia de Gödel
Gödel, Nagel, minds and machines
FREGE AND SEMANTICSrkheck.frege.org/pdf/pdf/published/FregeAndSemantics.pdf · FREGE AND SEMANTICS Richard G. HECK, Jr. Brown University Summary In recent work on Frege, one of the
Deflationism and the Gödel-Phenomena
Hans Sluga -- Gottlob Frege
Frege, - Massachusetts Institute of Technologyweb.mit.edu/frege-lang_v3.24/Introduction_Frege.pdf · Gottlob Frege * 8. November 1848; † 26. July 1925 German mathematician, logician
Cantor and Gödel Refuted
Gottlob Frege - The Frege Reader
Kripke on Frege on Sense and Reference - consc.netconsc.net/slides/kripkefregelong.pdf · Kripke’s Frege •Kripke’s “Frege Theory of Sense and Reference: Some Exegetical Notes”
McIntyre, Husserl and Frege
Frege - Jfokus...frege> twotimes x = times 2 x frege> twotimes 3 6 frege> :t twotimes Int -> Int No second arg! „Currying“, „schönfinkeling“, or „partial function application“
Gödel in class - uni-potsdam.deafeld/goedelinclass.pdf · Tarski: undefinability of truth Gödel: incompleteness theorem Carnap: diagonal argument Quine: new Gödel numbering Cohen:
Van Heijenoort, J (1967) From Frege To Gödel A Source Book In Mathematical Logic, 1879-1931 Cambridge, Harvard University Press
Curso Gödel Clase 1
More on Gödel
Truth in Frege
Die Philosophie der Mathematik nach Frege - uni-potsdam.de · 2006. 2. 7. · Die Philosophie der Mathematik nach Frege - Frege war damit nicht ganz zufrieden, weitere Lösung: o
Carnap’s dream: Gödel, Wittgenstein, and LogicalSyntax
Frege, Russell, and After - Princeton Universityassets.press.princeton.edu/chapters/s8098.pdf · Frege, Russell, and After The greatlogician Gottlob Frege wrote three books, each
Frege Exist Identifiability
Van Heijenoort J. - Logic as Calculus and Logic as Language
Frege - Begriffssgrift
Gottlob Frege - Posthumous Writings
Sluga - Frege on Meaning
Bio-bibliographical sketch of Jean Van Heijenoort · 2013-07-03 · Lubitz’ TrotskyanaNet Jean Van Heijenoort Bio-Bibliographical Sketch gether, Jean was raised under difficult
Informative Identities in the Begriffsschrift and ‘On ... · 4 Gottlob Frege, Begriffsschrift, trans. Stefan Bauer-Mengelberg in Jean van Heijenoort (ed.) From Frege to Godel: A