50 results
Gödel's Incompleteness Theorems
-
- Published online:
- 05 April 2022
- Print publication:
- 14 April 2022
-
- Element
- Export citation
LOGICALITY AND MODEL CLASSES
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 26 July 2021, pp. 385-414
- Print publication:
- December 2021
-
- Article
- Export citation
Bibliography
-
- Book:
- Gödel, Tarski and the Lure of Natural Language
- Published online:
- 03 December 2020
- Print publication:
- 17 December 2020, pp 169-183
-
- Chapter
- Export citation
3 - Computability: The Primary Example
-
- Book:
- Gödel, Tarski and the Lure of Natural Language
- Published online:
- 03 December 2020
- Print publication:
- 17 December 2020, pp 39-60
-
- Chapter
- Export citation
Content
-
- Book:
- Gödel, Tarski and the Lure of Natural Language
- Published online:
- 03 December 2020
- Print publication:
- 17 December 2020, pp vii-viii
-
- Chapter
- Export citation
7 - On the Side of Natural Language
-
- Book:
- Gödel, Tarski and the Lure of Natural Language
- Published online:
- 03 December 2020
- Print publication:
- 17 December 2020, pp 159-168
-
- Chapter
- Export citation
4 - Gödel and Formalism Independence
-
- Book:
- Gödel, Tarski and the Lure of Natural Language
- Published online:
- 03 December 2020
- Print publication:
- 17 December 2020, pp 61-98
-
- Chapter
- Export citation
2 - Formalism Freeness and Entanglement: Definitions
-
- Book:
- Gödel, Tarski and the Lure of Natural Language
- Published online:
- 03 December 2020
- Print publication:
- 17 December 2020, pp 19-38
-
- Chapter
- Export citation
Index
-
- Book:
- Gödel, Tarski and the Lure of Natural Language
- Published online:
- 03 December 2020
- Print publication:
- 17 December 2020, pp 184-188
-
- Chapter
- Export citation
6 - Model-Theoretic Aspects
-
- Book:
- Gödel, Tarski and the Lure of Natural Language
- Published online:
- 03 December 2020
- Print publication:
- 17 December 2020, pp 134-158
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Gödel, Tarski and the Lure of Natural Language
- Published online:
- 03 December 2020
- Print publication:
- 17 December 2020, pp i-iv
-
- Chapter
- Export citation
Dedication
-
- Book:
- Gödel, Tarski and the Lure of Natural Language
- Published online:
- 03 December 2020
- Print publication:
- 17 December 2020, pp v-vi
-
- Chapter
- Export citation
5 - Tarski and “the Mathematical”
-
- Book:
- Gödel, Tarski and the Lure of Natural Language
- Published online:
- 03 December 2020
- Print publication:
- 17 December 2020, pp 99-133
-
- Chapter
- Export citation
Preface
-
- Book:
- Gödel, Tarski and the Lure of Natural Language
- Published online:
- 03 December 2020
- Print publication:
- 17 December 2020, pp ix-xii
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Gödel, Tarski and the Lure of Natural Language
- Published online:
- 03 December 2020
- Print publication:
- 17 December 2020, pp 1-18
-
- Chapter
- Export citation
Gödel, Tarski and the Lure of Natural Language
- Logical Entanglement, Formalism Freeness
-
- Published online:
- 03 December 2020
- Print publication:
- 17 December 2020
3 - Notes on the Syntax and Semantics Distinction, or Three Moments in the Life of the Mathematical Drawing
- from Part II
-
-
- Book:
- What is a Mathematical Concept?
- Published online:
- 26 July 2017
- Print publication:
- 22 June 2017, pp 55-75
-
- Chapter
- Export citation
5 - Evidence-based practice
-
-
- Book:
- Child and Adolescent Mental Health Services
- Published by:
- Royal College of Psychiatrists
- Published online:
- 25 February 2017, pp 39-50
-
- Chapter
- Export citation
Chapter 6 - Gödel’s 1946 Princeton bicentennial lecture: an appreciation
- from Part III - Computability and analyticity
-
-
- Book:
- Interpreting Gödel
- Published online:
- 05 September 2014
- Print publication:
- 21 August 2014, pp 109-130
-
- Chapter
- Export citation
Interpreting Gödel
- Critical Essays
-
- Published online:
- 05 September 2014
- Print publication:
- 21 August 2014