Obras completas [de Kurt Gödel] /
Kurt Gödel (1906-1978), ha sido el más grande lógico del siglo XX y uno de los mayores pensadores de todos los tiempos. Sus logros de importancia han sido que probó la suficiencia del cálculo lógico de primer orden (1930); que todo sistema formal que contenga un poco de aritmética es necesariamente...
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Andere auteurs: | |
| Formaat: | Boek |
| Taal: | Spaans |
| Gepubliceerd in: |
Madrid, España :
Alianza,
2018, c2018
|
| Reeks: | (Alianza Ensayo)
|
| Onderwerpen: | |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|
Gelijkaardige items: Obras completas [de Kurt Gödel] /
- Obras completas [de Kurt Gödel] /
- Obras completas [de Kurt Gödel] /
- Where Is the Gödel-Point Hiding : Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals /
- Axiomatic Method and Category Theory /
- Sobre el realismo matemático de Xavier Zubiri y su interpretación : del método axiomático y de los teoremas de Gödel y Cohen /
- Sobre el realismo matemático de Xavier Zubiri y su interpretación : del método axiomático y de los teoremas de Gödel y Cohen /