scientific article; zbMATH DE number 194754

zbMath0675.00001MaRDI QIDQ4692751

No author found.

Publication date: 5 June 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) History of mathematics in the 19th century (01A55) Mathematics in general (00A05)

Related Items (31)

Unnamed Item ⋮ Issues in commonsense set theory ⋮ Logic in Category Theory ⋮ The axiomatization of linear algebra: 1875-1940 ⋮ Mathematical pluralism: The case of smooth infinitesimal analysis ⋮ `Third' quantization of vacuum Einstein gravity and free Yang-Mills theories ⋮ MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ The equivalence of NF-style set theories with “tangled” type theories; the construction of ω-models of predicative NF (and more) ⋮ Figures, Formulae, and Functors ⋮ The never-ending recursion ⋮ What Do We Want a Foundation to Do? ⋮ Set-theoretic foundations ⋮ Modelling as a process ⋮ Sets with structure, mappings and fixed point property: fixed point structures ⋮ Comparing material and structural set theories ⋮ Why Categories? ⋮ Asymmetry of Cantorian Mathematics from a Categorial Standpoint: Is It Related to the Direction of Time? ⋮ Knowledge-based proof planning ⋮ The seven virtues of simple type theory ⋮ An introduction to mechanized reasoning ⋮ Differential Calculus and Nilpotent Real Numbers ⋮ FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE ⋮ FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS ⋮ Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship ⋮ The scope of Gödel's first incompleteness theorem ⋮ The strength of Mac Lane set theory ⋮ Physical-based models of internal migration ⋮ An introduction to the perplex number system ⋮ On three arguments against categorical structuralism ⋮ Incompatible empirically equivalent theories: a structural explication.

This page was built for publication: