scientific article; zbMATH DE number 3253161

MaRDI QIDQ5539743zbMATH OpenFDO

Authors Georg Kreisel

Publication date 1968

Full work available at URL http://www.numdam.org/item?id=CM_1968__20__222_0, https://eudml.org/doc/88982

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Publication:4939616
• More about relatively lawless sequences
• scientific article; zbMATH DE number 3028354
• Irrational sequences of rational numbers
• Sequences of numbers involved in unsolved problems
• scientific article; zbMATH DE number 1154148
• The pure numbers generated by the Collatz sequence
• Sequences in countable nonstandard models of the natural numbers
• scientific article; zbMATH DE number 5528974
• An Undecidable Permutation of the Natural Numbers

Cites work

• scientific article; zbMATH DE number 3216998 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3237808 (Why is no real title available?)
• scientific article; zbMATH DE number 3294550 (Why is no real title available?)
• scientific article; zbMATH DE number 3298807 (Why is no real title available?)
• scientific article; zbMATH DE number 3304010 (Why is no real title available?)
• scientific article; zbMATH DE number 3042659 (Why is no real title available?)
• A remark on free choice sequences and the topological completeness proofs
• Formal systems for some branches of intuitionistic analysis
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(15)

• Real numbers are the hidden variables of classical mechanics
• A classical view of the intuitionistic continuum
• Formally computing with the non-computable
• A hierarchy of Brouwer constructive functionals
• The theory of empirical sequences
• scientific article; zbMATH DE number 3382322 (Why is no real title available?)
• Brouwer's constructivism
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• Indeterminism in physics and intuitionistic mathematics
• A very strong intuitionistic theory
• Realizing Brouwer's sequences
• Sheaf models for choice sequences
• Analyzing realizability by Troelstra's methods
• Informal theory of choice sequences
• Relational quantum mechanics and intuitionistic mathematics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5539743)