scientific article; zbMATH DE number 2085173

zbMATH Open1062.03056MaRDI QIDQ4736397FDOQ4736397

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• Title not available (Why is that?)
• Mathematical intuition and the cognitive roots of mathematical concepts
• From exact sciences to life phenomena: Following Schrödinger and Turing on programs, life and causality
• A synopsis of morphoid type theory
• Informal versus formal mathematics
• Some thoughts on hypercomputation

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)