On formally undecidable propositions of principia mathematica and related systems
Saved in:
| Hovedforfatter: | Gödel, Kurt Friedrich (Author) |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
Nueva York
Dover
1992
|
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker
Mathematical fallacies and paradoxes
af: Bunch, Bryan H
Udgivet: (1997)
af: Bunch, Bryan H
Udgivet: (1997)
Mathematical Recreations of Lewis Carroll
af: Carroll, Lewis
Udgivet: (1958)
af: Carroll, Lewis
Udgivet: (1958)
Formal logic
af: Prior, Arthur N
Udgivet: (1962)
af: Prior, Arthur N
Udgivet: (1962)
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)
Introduction to Mathematical Logic
af: Dinkines, Flora
Udgivet: (1964)
af: Dinkines, Flora
Udgivet: (1964)
El juego de la lógica y otros escritos
af: Carroll, Lewis
Udgivet: (1984)
af: Carroll, Lewis
Udgivet: (1984)
Lógica de primer orden
af: Mosterín, Jesús
Udgivet: (1970)
af: Mosterín, Jesús
Udgivet: (1970)
Hacia una lógica de significaciones
af: Piaget, Jean, et al.
Udgivet: (1989)
af: Piaget, Jean, et al.
Udgivet: (1989)
Mathematical epistemology and psychology
af: Beth, Evert W, et al.
Udgivet: (1966)
af: Beth, Evert W, et al.
Udgivet: (1966)
Elements of symbolic logic
af: Reichenbach, Hans
Udgivet: (1966)
af: Reichenbach, Hans
Udgivet: (1966)
Beiträge zur Philosophie der Logik und Mathematik
af: Nelson, Leonard
Udgivet: (1959)
af: Nelson, Leonard
Udgivet: (1959)
Kleine Schriften
af: Frege, Gottlob
Udgivet: (1967)
af: Frege, Gottlob
Udgivet: (1967)
Ensayos sobre Lógica y conocimiento: 1901 - 1950
af: Russell, Bertrand
Udgivet: (1966)
af: Russell, Bertrand
Udgivet: (1966)
Introductory formal logic of mathematics
af: Nidditch, P. H.
Udgivet: (1957)
af: Nidditch, P. H.
Udgivet: (1957)
A theory of formal deducibility
af: Curry, Haskell B
Udgivet: (1950)
af: Curry, Haskell B
Udgivet: (1950)
Lógica
af: Granell Muñiz, Manuel
Udgivet: (1949)
af: Granell Muñiz, Manuel
Udgivet: (1949)
Lógica matemática: antecedentes y fundamentos
af: Moreno, Alberto
Udgivet: (1981)
af: Moreno, Alberto
Udgivet: (1981)
Lógica matemática: antecedentes y fundamentos
af: Moreno, Alberto
Udgivet: (1971)
af: Moreno, Alberto
Udgivet: (1971)
Hacia una lógica de significaciones
af: Piaget, Jean, et al.
Udgivet: (1997)
af: Piaget, Jean, et al.
Udgivet: (1997)
La lógica en la matemática: racionalización de la ciencia exacta
af: Vera, Francisco
Udgivet: (1929)
af: Vera, Francisco
Udgivet: (1929)
The principles of mathematics
af: Russell, Bertrand
Udgivet: (1937)
af: Russell, Bertrand
Udgivet: (1937)
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)
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)
Introduction to logic
af: Copi, Irving M, et al.
Udgivet: (2014)
af: Copi, Irving M, et al.
Udgivet: (2014)
Set theory and logic
af: Stoll, Robert R
Udgivet: (1963)
af: Stoll, Robert R
Udgivet: (1963)
Logisch-philosophische studien
af: Bochénski, Innocentius M
Udgivet: (1959)
af: Bochénski, Innocentius M
Udgivet: (1959)
Pruebas y refutaciones. La lógica del descubrimiento matemático
af: Lakatos, Imre
Udgivet: (1978)
af: Lakatos, Imre
Udgivet: (1978)
Formale und Transzendentale Logik. Versuch einer Kritik der logischen Vernunft
af: Husserl, Edmund
Udgivet: (1974)
af: Husserl, Edmund
Udgivet: (1974)
Implicazione, endometria, universo del discorso
af: Spisani, Franco
Udgivet: (1977)
af: Spisani, Franco
Udgivet: (1977)
Lignende værker
-
Mathematical fallacies and paradoxes
af: Bunch, Bryan H
Udgivet: (1997) -
Mathematical Recreations of Lewis Carroll
af: Carroll, Lewis
Udgivet: (1958) -
Formal logic
af: Prior, Arthur N
Udgivet: (1962) -
Introducción a la lógica y al análisis formal
af: Sacristán Luzón, Manuel
Udgivet: (1964) -
Introduction to Mathematical Logic
af: Dinkines, Flora
Udgivet: (1964)