Axiomatic Method and Category Theory: 364 (Synthese Library) by Andrei Rodin

By Andrei Rodin

This quantity explores the various varied meanings of the inspiration of the axiomatic strategy, supplying an insightful historic and philosophical dialogue approximately how those notions replaced over the millennia.

The writer, a widely known thinker and historian of arithmetic, first examines Euclid, who's thought of the daddy of the axiomatic approach, prior to relocating onto Hilbert and Lawvere. He then offers a deep textual research of every author and describes how their principles are assorted or even how their principles stepped forward over the years. subsequent, the e-book explores type thought and info the way it has revolutionized the suggestion of the axiomatic technique. It considers the query of identity/equality in arithmetic in addition to examines the got theories of mathematical structuralism. within the end, Rodin presents a hypothetical New Axiomatic approach, which establishes nearer relationships among arithmetic and physics.

Lawvere's axiomatization of topos idea and Voevodsky's axiomatization of upper homotopy idea exemplify a brand new method of axiomatic concept construction, which matches past the classical Hilbert-style Axiomatic technique. the hot thought of Axiomatic procedure that emerges in express common sense opens new probabilities for utilizing this system in physics and different ordinary sciences.

This quantity bargains readers a coherent examine the prior, current and expected way forward for the Axiomatic approach.

Show description

Read Online or Download Axiomatic Method and Category Theory: 364 (Synthese Library) PDF

Similar logic books

Mathematical Reasoning: Analogies, Metaphors, and Images (Studies in Mathematical Thinking and Learning Series)

How we cause with mathematical rules remains to be a desirable and tough subject of research--particularly with the fast and numerous advancements within the box of cognitive technological know-how that experience taken position in recent times. since it attracts on a number of disciplines, together with psychology, philosophy, laptop technological know-how, linguistics, and anthropology, cognitive technology presents wealthy scope for addressing matters which are on the center of mathematical studying.

Infinity and Truth (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore)

This quantity relies at the talks given on the Workshop on Infinity and fact held on the Institute for Mathematical Sciences, nationwide collage of Singapore, from 25 to 29 July 2011. The chapters disguise issues in mathematical and philosophical common sense that research quite a few points of the rules of arithmetic.

Ways of Proof Theory (Ontos Mathematical Logic)

At the social gathering of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the college of Münster prepared a colloquium and a workshop which happened July 17 – 19, 2008. This occasion introduced jointly facts theorists from many elements of the area who've been appearing as academics, scholars and collaborators of Wolfram Pohlers and who've been shaping the sector of facts thought through the years.

Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, ... Papers (Lecture Notes in Computer Science)

This ebook comprises the completely refereed technical papers provided in six workshops collocated with the foreign convention on software program applied sciences: purposes and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are integrated during this quantity are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp.

Extra resources for Axiomatic Method and Category Theory: 364 (Synthese Library)

Sample text

Download PDF sample

Rated 4.82 of 5 – based on 4 votes