Informal versus formal mathematics
From MaRDI portal
Publication:885512
DOI10.1007/s11229-006-9126-9zbMath1163.03004OpenAlexW2069091092MaRDI QIDQ885512
Publication date: 14 June 2007
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-006-9126-9
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Arithmetic analogues of McAloon's unique Rosser sentences
- Undecidability and incompleteness in classical mechanics
- Logical number theory I. An introduction
- Consequences of an exotic definition for \(\text{P}=\text{NP}\).
- A Ramsey theorem in Boyer-Moore logic
- On the metamathematics of the P vs. NP question
- Some thoughts on hypercomputation
- General recursive functions of natural numbers
- Arithmetization of metamathematics in a general setting
- The Expressiveness of Simple and Second-Order Type Structures
- Relativizations of the $\mathcal{P} = ?\mathcal{NP}$ Question
- Transfinite Progressions: A Second Look at Completeness
- A classification of the ordinal recursive functions
- Transfinite recursive progressions of axiomatic theories
- Systems of Logic Based on Ordinals†
- On the Interpretation of Non-Finitist Proofs--Part I
- On the interpretation of non-finitist proofs–Part II
This page was built for publication: Informal versus formal mathematics
