Decoding Gentzen's Notation

DOI10.1080/01445340.2017.1422092MaRDI QIDQ5208100zbMATH OpenOpenAlexWikidataFDO

Authors Luca Bellotti

Publication date 15 January 2020

Published in History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/01445340.2017.1422092

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Recursive ordinals and ordinal notations (03F15)

Recommendations

• Decoding the Golay codes
• Decoding the ternary Golay code
• scientific article; zbMATH DE number 1276822
• Decoding the Golay code with Venn diagrams
• Decoding residue codes
• Decoding algorithm for Gabidulin codes
• Encoding and decoding in refinement algebra
• Decipherability of codes
• scientific article; zbMATH DE number 7644092

Cites work

• scientific article; zbMATH DE number 5219795 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• On Gentzen's first consistency proof for arithmetic
• The consistency of arithmetics
• Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

Cited in

(6)

• A note on Gentzen's ordinal assignment
• scientific article; zbMATH DE number 1088186 (Why is no real title available?)
• NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM
• Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
• Gentzen's consistency proof in context
• A note on how to extend Gentzen's second consistency proof to a proof of normalization for first order arithmetic

This page was built for publication: Decoding Gentzen's Notation

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