Laura Crosilla – författare
Visar alla böcker från författaren Laura Crosilla. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Inbunden, Engelska, 2027
1 223 kr
Kommande
Mathematician Hermann Weyl's philosophy of mathematics is a rich source of original and sophisticated ideas that remain highly relevant to contemporary debates in the field. Despite this, Weyl's philosophical insights on the foundation of mathematics remain largely overlooked.Pillars of Enduring Strength brings renewed attention to Weyl's profound insights, demonstrating their enduring significance and potential to illuminate ongoing discussions in both philosophy and mathematical logic. With contributions from leading scholars, this volume examines the tenets of his philosophical legacy. The first part of the volume has contributors delve into Weyl's philosophy of mathematics. It locates Weyl in a rich mathematical and philosophical context and highlights the depth and complexity of Weyl's thinking, particularly his efforts to reconcile intuition with logical and symbolic construction, and his engagement with phenomenology and the nature of mathematical truth. The second part of the volume has contributors turn to the influence of Weyl's ideas on contemporary mathematical logic. It focuses especially on developments related to Weyl's predicativism, tracing how his foundational concerns have evolved and been reinterpreted in modern contexts. Together, contributors offer a fresh look at Weyl's enduring influence on mathematical logic and philosophy.
Del 48 - Oxford Logic Guides
From Sets and Types to Topology and Analysis
Towards practicable foundations for constructive mathematics
Inbunden, Engelska, 2005
2 787 kr
Skickas inom 5-8 vardagar
This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logicians, mathematicians, philosophers and computer scientists Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope.This is the latest volume in the Oxford Logic Guides, which also includes: 41. J.M. Dunn and G. Hardegree: Algebraic Methods in Philosophical Logic42. H. Rott: Change, Choice and Inference: A study of belief revision and nonmonotoic reasoning43. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 144. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 245. David J. Pym and Eike Ritter: Reductive Logic and Proof Search: Proof theory, semantics and control46. D.M. Gabbay and L. Maksimova: Interpolation and Definability: Modal and Intuitionistic Logics47. John L. Bell: Set Theory: Boolean-valued models and independence proofs, third edition