Seguici su

Cerca

Risultati di Ricerca

Risultati: 1-7 di 7

Modifica la ricerca

Filtri attivi:

Soggetto BNI: TEOREMA DI GODEL

Visualizza

Ordina per

La prova di Gödel

Testo

La prova di Gödel

Nagel, Ernest

Il teorema di Gödel : una messa a fuoco

Testo

Il teorema di Gödel : una messa a fuoco

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen

Testo

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen

Hermes, Hans

Introduzione ai teoremi di incompletezza

Testo

Introduzione ai teoremi di incompletezza

Galvan, Sergio

Enumerability, decidability, computability : an introduction to the theory of recursive functions

Testo

Enumerability, decidability, computability : an introduction to the theory of recursive functions

Hermes, Hans

Les limitations internes des formalismes : etude sur la signification du theoreme de Godel et des theoremes apparentes dans la theorie des fondements des mathematiques

Testo

Les limitations internes des formalismes : etude sur la signification du theoreme de Godel et des theoremes apparentes dans la theorie des fondements des mathematiques

Ladrière, Jean

Tutti pazzi per Gödel! : la guida completa al Teorema di incompletezza

Testo

Tutti pazzi per Gödel! : la guida completa al Teorema di incompletezza

Berto, Francesco <1973- >

Filtra Risultati

Autore Principale
- Hermes, Hans
  (2)
- Berto, Francesco <1973- >
  (1)
- Galvan, Sergio
  (1)
- Ladrière, Jean
  (1)
- Nagel, Ernest
  (1)
- Altro Tutti
Nomi
- Hermes, Hans
  (2)
- Berto, Francesco <1973- >
  (1)
- Galvan, Sergio
  (1)
- Girard, Jean Yves
  (1)
- Ladrière, Jean
  (1)
- Nagel, Ernest
  (1)
- Newman, James R.
  (1)
- Shanker, Stuart G.
  (1)
- Altro Tutti
Lingua
- ITALIANO
  (4)
- FRANCESE
  (1)
- INGLESE
  (1)
- TEDESCO
  (1)
- Altro Tutti
Classe Dewey
Soggetto BNI
- Godel, Kurt - Teorie
  (2)
- Logica matematica
  (2)
- TEORIA DELLA RICORSIVITA
  (2)
- Algoritmi
  (1)
- Gödel, Kurt
  (1)
- Logica simbolica
  (1)
- Altro Tutti