Gôdel's proof
Saved in:
| Main Authors: | Nagel, Ernest (Author), Newman, James R. (Author) |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
Nueva York
New York University
1958
|
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker
La prueba de Gödel
af: Nagel, Ernest
Udgivet: (1959)
af: Nagel, Ernest
Udgivet: (1959)
El teorema de Gödel
af: Nagel, Ernest
Udgivet: (1970)
af: Nagel, Ernest
Udgivet: (1970)
El teorema de Gödel
af: Nagel, Ernest
Udgivet: (1981)
af: Nagel, Ernest
Udgivet: (1981)
La lógica simbólica
af: Agazzi, Evandro
Udgivet: (1986)
af: Agazzi, Evandro
Udgivet: (1986)
Los fundamentos de la matemática y otros ensayos sobre lógica
af: Ramsey, Frank Plumpton
Udgivet: (1968)
af: Ramsey, Frank Plumpton
Udgivet: (1968)
Introducción a la lógica y al método científico
af: Cohen, M, et al.
Udgivet: (1971)
af: Cohen, M, et al.
Udgivet: (1971)
Gödel, Escher, Bach: un eterno y grácil bucle
af: Hofstadter, Douglas R
Udgivet: (1992)
af: Hofstadter, Douglas R
Udgivet: (1992)
Lecons de logique formelle
af: Dopp, Joseph
Udgivet: (1950)
af: Dopp, Joseph
Udgivet: (1950)
Gödel, Escher, Bach: un eterno y grácil bucle
af: Hofstadter, Douglas R
Udgivet: (1998)
af: Hofstadter, Douglas R
Udgivet: (1998)
Introducción a la lógica y al método científico
af: Cohen, Morris Raphael
Udgivet: (1973)
af: Cohen, Morris Raphael
Udgivet: (1973)
Lógica formal, lógica dialéctica
af: Lefebvre, Henri
Udgivet: (1970)
af: Lefebvre, Henri
Udgivet: (1970)
Aprendiendo a pensar: manual de razonamiento lógico para niños y jóvenes
af: Arredondo Guevara, Marcial
Udgivet: (2017)
af: Arredondo Guevara, Marcial
Udgivet: (2017)
Hermenéutica y racionalidad
af: Vattimo, Gianni
Udgivet: (1994)
af: Vattimo, Gianni
Udgivet: (1994)
Lógica formal, lógica dialéctica
af: Lefebvre, Henri
Udgivet: (2013)
af: Lefebvre, Henri
Udgivet: (2013)
Identidad en la lógica matemática
af: Nemesszeghy Voros, Elemer
Udgivet: (1967)
af: Nemesszeghy Voros, Elemer
Udgivet: (1967)
Derecho y lógica formal.
af: Manson Terrazas, Manuel
Udgivet: (2006)
af: Manson Terrazas, Manuel
Udgivet: (2006)
Iniciación a la Lógica
af: Díez Calzada, José A
Udgivet: (2002)
af: Díez Calzada, José A
Udgivet: (2002)
Proofs and refutations: the logic of mathematical discovery
af: Lakatos, Imre
Udgivet: (1976)
af: Lakatos, Imre
Udgivet: (1976)
On formally undecidable propositions of principia mathematica and related systems
af: Gödel, Kurt Friedrich
Udgivet: (1992)
af: Gödel, Kurt Friedrich
Udgivet: (1992)
The principles of mathematics
af: Russell, Bertrand
Udgivet: (1937)
af: Russell, Bertrand
Udgivet: (1937)
Introducción a la lógica y al análisis formal
af: Sacristán Luzón, Manuel
Udgivet: (1964)
af: Sacristán Luzón, Manuel
Udgivet: (1964)
Lógica matemática
af: Ferrater Mora, José, et al.
Udgivet: (1994)
af: Ferrater Mora, José, et al.
Udgivet: (1994)
Comprendiendo el infinito
af: Lavine, Shaughan
Udgivet: (2005)
af: Lavine, Shaughan
Udgivet: (2005)
Pruebas y refutaciones: la lógica del descubrimiento matemático
af: Lakatos, Imre
Udgivet: (1982)
af: Lakatos, Imre
Udgivet: (1982)
Introducción a la lógica formal
af: Deaño, Alfredo
Udgivet: (1975)
af: Deaño, Alfredo
Udgivet: (1975)
Mathematical Recreations of Lewis Carroll
af: Carroll, Lewis
Udgivet: (1958)
af: Carroll, Lewis
Udgivet: (1958)
Mathematical fallacies and paradoxes
af: Bunch, Bryan H
Udgivet: (1997)
af: Bunch, Bryan H
Udgivet: (1997)
Argumentación, derecho y lógica: introducción lógico-filosófica al estudio de la argumentación jurídica
af: Manson Terrazas, Manuel
Udgivet: (2000)
af: Manson Terrazas, Manuel
Udgivet: (2000)
Elementos de lógica formal
af: Badesa, Calixto, et al.
Udgivet: (2007)
af: Badesa, Calixto, et al.
Udgivet: (2007)
Modal logics
af: Feys, Robert
Udgivet: (1965)
af: Feys, Robert
Udgivet: (1965)
Pruebas y refutaciones. La lógica del descubrimiento matemático
af: Lakatos, Imre
Udgivet: (1978)
af: Lakatos, Imre
Udgivet: (1978)
Lógica combinatoria
af: Curry, Haskell B, et al.
Udgivet: (1967)
af: Curry, Haskell B, et al.
Udgivet: (1967)
Lógica matemática.
af: Ferrater Mora, José
Udgivet: (1962)
af: Ferrater Mora, José
Udgivet: (1962)
An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
af: Boole, George
Udgivet: (1958)
af: Boole, George
Udgivet: (1958)
El proceso matemático de clasificar.
af: Luque Arias, Carlos Julio
Udgivet: (2004)
af: Luque Arias, Carlos Julio
Udgivet: (2004)
La structure algébrique des théories mathématiques
af: Henkin, Leon
Udgivet: (1956)
af: Henkin, Leon
Udgivet: (1956)
Elementos de filosofía positiva. Segunda edición, revisada y corregida
af: Lois, Juan S.
Udgivet: (1906)
af: Lois, Juan S.
Udgivet: (1906)
Matemática insólita: paradojas y paralogismos
af: Bunch, Bryan H
Udgivet: (1987)
af: Bunch, Bryan H
Udgivet: (1987)
El cerebro matemático: cómo nacen, viven y a veces mueren los números en nuestra mente
af: Dehaene, Stanislas
Udgivet: (2016)
af: Dehaene, Stanislas
Udgivet: (2016)
Mathematical epistemology and psychology
af: Beth, Evert W, et al.
Udgivet: (1966)
af: Beth, Evert W, et al.
Udgivet: (1966)
Lignende værker
-
La prueba de Gödel
af: Nagel, Ernest
Udgivet: (1959) -
El teorema de Gödel
af: Nagel, Ernest
Udgivet: (1970) -
El teorema de Gödel
af: Nagel, Ernest
Udgivet: (1981) -
La lógica simbólica
af: Agazzi, Evandro
Udgivet: (1986) -
Los fundamentos de la matemática y otros ensayos sobre lógica
af: Ramsey, Frank Plumpton
Udgivet: (1968)