Boolos-style proofs of limitative theorems (Q4459602)
From MaRDI portal
scientific article; zbMATH DE number 2062679
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Boolos-style proofs of limitative theorems |
scientific article; zbMATH DE number 2062679 |
Statements
Boolos-style proofs of limitative theorems (English)
0 references
29 March 2004
0 references
Limitative results of logic
0 references
Boolos's incompleteness proof
0 references
Berry's paradox
0 references
