scientific article; zbMATH DE number 2085173

MaRDI QIDQ4736397zbMATHFDO

Authors Giuseppe Longo

Publication date 9 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2277/22770160.htm

zbMATH Keywords

proof theorytype theoryinductive definitionHerbrand's proofs

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• scientific article; zbMATH DE number 4063056
• Remarks concerning the phenomenological foundations of mathematics
• scientific article; zbMATH DE number 1303688
• scientific article; zbMATH DE number 4047694
• Despite Kempe, the modest place of multisets and multiclasses in foundational theories

Cited in

(6)

• Informal versus formal mathematics
• Some thoughts on hypercomputation
• From exact sciences to life phenomena: Following Schrödinger and Turing on programs, life and causality
• A synopsis of morphoid type theory
• Mathematical intuition and the cognitive roots of mathematical concepts
• scientific article; zbMATH DE number 4063056 (Why is no real title available?)

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 Q4736397)