-
13Approximating beppo Levi's "principio di approssimazione"Association for Symbolic Logic: The Bulletin of Symbolic Logic. forthcoming.We try to recast in modern terms a choice principle conceived by Beppo Levi. who called it the Approximation Principle (AP). Up to now. there was almost no discussion about Levi's contribution. due to the quite obscure formulation of AP the author has chosen. After briefly reviewing the historical and philosophical surroundings of Levi's proposal. we undertake our own attempt at interpreting AP. The idea underlying the principle. as well as the supposed faithfulness of our version to Levi's orig…Read more
-
12A direct proof of Wiener's theoremIn S. Barry Cooper (ed.), How the World Computes, . pp. 293--302. 2012.
-
11Approximating beppo levi’s principio di approssimazioneBulletin of Symbolic Logic 20 (2): 141-169. 2014.We try to recast in modern terms a choice principle conceived by Beppo Levi, who called it the Approximation Principle. Up to now, there was almost no discussion about Levi’s contribution, due to the quite obscure formulation of AP the author has chosen. After briefly reviewing the historical and philosophical surroundings of Levi’s proposal, we undertake our own attempt at interpreting AP. The idea underlying the principle, as well as the supposed faithfulness of our version to Levi’s original …Read more
-
11This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative algebra, braid groups, graph theory, analytic combinatorics, theory of relations, reverse mathematics and subrecursive hierarchies. As a unifying concept for slick finiteness or termination proofs, wqos have…Read more
-
10IntroductionIn Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science, De Gruyter. pp. 1-4. 2016.
-
9ContentsIn Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science, De Gruyter. 2016.
-
8PrefaceIn Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science, De Gruyter. 2016.
-
8FrontmatterIn Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science, De Gruyter. 2016.
-
7How complexity originates: Examples from history reveal additional roots to complexityComplexity 21 (S2): 7-12. 2016.
-
7
-
61st EHoP Conference, Graz, Austria, September 18-21, 2006: proceedings of the First European History of Physics (EHoP) Conference of the History of Physics Section of the Austrian Physical Society (OEPG) in conjunction with the History of Physics Group of the European Physical Society (EPS) and the History of Physics Group of the Institute of Physics (IOP) (edited book, review)Living Edition. 2008.
-
5Logic, Construction, Computation (edited book)De Gruyter. 2012.Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. …Read more
-
5Proof and Computation (edited book)World Scientific. 1995.Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993.
-
4Major transitions in evolution and in technology:What they have in common and where they differComplexity 21 (4): 7-13. 2016.
-
4The roots of physics in Europe: Echophysics, Pöllau/Austria, 2010: proceedings of the first joint European Symposium on the History of Physics, held under the auspices of the first European Centre for the History of Physics: Echophysics, Poellau Castle, Styria/Austria, May 28-29, 2010 (edited book, review)Living Edition. 2013.
-
3PrefaceIn Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation, De Gruyter. pp. 2-4. 2012.
-
3The dilemma of statistics: Rigorous mathematical methods cannot compensate messy interpretations and lousy dataComplexity 20 (1): 11-15. 2014.
-
2Syntax for Semantics: Krull’s Maximal Ideal TheoremIn Gerhard Heinzmann & Gereon Wolters (eds.), Paul Lorenzen -- Mathematician and Logician, Springer Verlag. pp. 77-102. 2021.Krull’s Maximal Ideal Theorem is one of the most prominent incarnations of the Axiom of Choice in ring theory. For many a consequence of AC, constructive counterparts are well within reach, provided attention is turned to the syntactical underpinning of the problem at hand. This is one of the viewpoints of the revised Hilbert Programme in commutative algebra, which will here be carried out for MIT and several related classical principles.
-
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive MathematicsBulletin of Symbolic Logic 12 (4): 611-612. 2006.
-
The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent ChoiceReports on Mathematical Logic 63-86. 2012.
-
University of LeedsRegular Faculty
Leeds, West Yorkshire, United Kingdom of Great Britain and Northern Ireland
Areas of Interest
Logic and Philosophy of Logic |
Medieval and Renaissance Philosophy |