Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
53
views
0
references
Top references
cited by
23
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,889
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout
A Mathematical Incompleteness in Peano Arithmetic
edited_book
Author(s):
Jeff Paris
Publication date
(Print):
1977
Publisher:
Elsevier
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Reviews of mathematical modeling in cancer
Author and book information
Book Chapter
Publication date (Print):
1977
Pages
: 1133-1142
DOI:
10.1016/S0049-237X(08)71130-3
SO-VID:
1c6b1444-7789-4443-be28-91c28915b755
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. vii
Preface
pp. vii
Preface
pp. 1
The Type Theoretic Interpretation of Constructive Set Theory: Choice Principles
pp. 5
An Introduction to First-Order Logic
pp. 11
Epistemic and Intuitionistic Arithmetic
pp. 15
Some Connections Between Elementary and Modal Logic
pp. 33
A Basis for a Mathematical Theory of Computation)
pp. 55
The Type Theoretic Interpretation of Constructive Set Theory
pp. 63
Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
pp. 68
3. Investigations into Logical Deduction
pp. 73
An Intuitionistic Theory of Types: Predicative Part
pp. 91
Notions of Choice Sequence
pp. 92
Semantical Analysis of Intuitionistic Logic I
pp. 98
Quelques Remarques, Théorèmes Et Problèmes Sur Les Classes Définissables D'algèbres
pp. 105
On Local and Non-Local Properties
pp. 107
Formal Spaces
pp. 110
Completeness and Correspondence in the First and Second Order Semantics for Modal Logic
pp. 118
The Algebraic Theory of Context-Free Languages
pp. 149
A Note on Bar Induction Rule
pp. 153
Constructive Mathematics and Computer Programming
pp. 165
The Effective Topos
pp. 179
Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions
pp. 191
Degrees of Functions with no Fixed Points
pp. 217
Constructive Logic Versus Algebraization I
pp. 221
Geometry of Interaction 1: Interpretation of System F
pp. 235
Ideas and Results in Proof Theory
pp. 266
The Foundations of Classical Mechanics in the Light of Recent Advances in Continuum Mechanics
pp. 283
An Approach to Constructive Mathematical Logic
pp. 337
Gödel’s Functional (“Dialectica”) Interpretation
pp. 453
Complexity of Normalization in the Pure Typed Lambda – Calculus
pp. 459
Nonstandard Models and Constructivity
pp. 571
Informational Independence as a Semantical Phenomenon
pp. 631
Degrees of Unsolvability: A Survey of Results
pp. 739
An Introduction to Inductive Definitions
pp. 821
The Incompleteness Theorems
pp. 1133
A Mathematical Incompleteness in Peano Arithmetic
Similar content
2,889
Fundamental groups of Peano continua
Authors:
,
On-line monitoring of instrument channel performance in nuclear power plant using PEANO
Authors:
P.F. Fantoni
,
M.I. Hoffmann
,
R. SHANKAR
…
A Uniform Characterization of \(\Sigma_1\)-Reflection over the Fragments of Peano Arithmetic
Authors:
Anton Freund
See all similar
Cited by
23
The Deluge of Spurious Correlations in Big Data
Authors:
Cristian S. Calude
,
Giuseppe Longo
The problem of certainty in mathematics
Authors:
Paul Ernest
A solution to Kronecker's problem
Authors:
Bhubaneswar Mishra
,
Giovanni Gallo
See all cited by