Informal versus formal mathematics
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3829882 (Why is no real title available?)
- scientific article; zbMATH DE number 3154788 (Why is no real title available?)
- scientific article; zbMATH DE number 51556 (Why is no real title available?)
- scientific article; zbMATH DE number 3586480 (Why is no real title available?)
- scientific article; zbMATH DE number 2085173 (Why is no real title available?)
- scientific article; zbMATH DE number 2109540 (Why is no real title available?)
- scientific article; zbMATH DE number 3241254 (Why is no real title available?)
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- A Ramsey theorem in Boyer-Moore logic
- A classification of the ordinal recursive functions
- Arithmetic analogues of McAloon's unique Rosser sentences
- Arithmetization of metamathematics in a general setting
- Consequences of an exotic definition for \(\text{P}=\text{NP}\).
- General recursive functions of natural numbers
- Information, randomness and incompleteness. Papers on algorithmic information theory
- Logical number theory I. An introduction
- On the Interpretation of Non-Finitist Proofs--Part I
- On the interpretation of non-finitist proofs–Part II
- On the metamathematics of the P vs. NP question
- Relativizations of the $\mathcal{P} = ?\mathcal{NP}$ Question
- Representation and invariance of scientific structures
- Some thoughts on hypercomputation
- Systems of Logic Based on Ordinals†
- The Expressiveness of Simple and Second-Order Type Structures
- Transfinite Progressions: A Second Look at Completeness
- Transfinite recursive progressions of axiomatic theories
- Undecidability and incompleteness in classical mechanics
Cited in
(3)
This page was built for publication: Informal versus formal mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q885512)
