|
|
|
| MavicaNet - Classic |
Metamathematics | |
 | Catalog / Culture / Science / Mathematical Sciences / Foundations and Topology / Metamathematics |
| |||
| |||
|
Truth, Deflationary Theory of
An article from Stanford Encyclopedia of Philosophy [eng] |
||
| |||
|
Il "Teorema di incompletezza" di K.Gödel
Gödel, Church e Tarski. [ita] |
||
| |||
|
|
Assiomatizzazione
Abbiamo cercato di dare un'occhiata a come problemi classici di logica moderna si siano trasformati in quest'ultima metŕ di secolo. Ci siamo occupati della metamatematica di Tarski, come delle nuove problematiche di teoria dei modelli; della versione di Chaitin al teorema di Goedel; della critica all'assioma di fondazione in teoria degli insiemi da parte della scuola di Pisa, e dei risultati di Cohen; della programmazione logica e della nuova idea di dimostrazione che emerge con l'utilizzazione dei calcolatori elettronici (ad es. per risolvere il teorema dei quattro colori) [ita] |
||
| |||
|
|
Kurt G?del's Ontological Argument
Metamathematical proof of existence of God. [eng] |
||
| |||
|
|
Infinite Ink: The Continuum Hypothesis by Nancy McGough
Metamathematics and Continuum Hypothesis. The results of G?del and Cohen about the consistency and independence of CH are metamathematical theorems. [eng] |
||
| |||
|
|
Soluzione Liceo Varchi
Gruppo studenti "Laboratorio Metamatematica" [ita] |
||
| |||
| |||
Copyright © 2000 MavicaNET. All Rights Reserved. MavicaNET ® is a registered trademark of NNT Telecom. Designed by Digital Art Design, 2000. Hosted by NNT. |
|
