
49The Vienna Circle in Hungary, edited by András Máté, Miklós Rédei and Friedrich Stadler, Springer, Wien–New York, 2011, 300 pp (review)Bulletin of Symbolic Logic 19 (1): 110112. 2013.Review by: Maté Szabó The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 110112, March 2013

42On field's nominalization of physical theoriesMagyar Filozofiai Szemle 54 (4): 231239. 2010.Quine and Putnam's Indispensability Argument claims that we must be ontologically committed to mathematical objects, because of the indispensability of mathematics in our best scientific theories. Indispensability means that physical theories refer to and quantify over mathematical entities such as sets, numbers and functions. In his famous book 'Science Without Numbers' Hartry Field argues that this is not the case. We can "nominalize" our physical theories, that is we can reformulate them in s…Read more

33Kalmár's Argument Against the Plausibility of Church's ThesisHistory and Philosophy of Logic 39 (2): 140157. 2018.In his famous paper, An Unsolvable Problem of Elementary Number Theory, Alonzo Church identified the intuitive notion of effective calculability with the mathematically precise notion of recursiveness. This proposal, known as Church's Thesis, has been widely accepted. Only a few papers have been written against it. One of these is László Kalmár's An Argument Against the Plausibility of Church's Thesis from 1959. The aim of this paper is to present Kalmár's argument and to fill in missing details…Read more

2Péter on Church's Thesis, Constructivity and ComputersIn Liesbeth De Mol, Andreas Weiermann, Florin Manea & David FernándezDuque (eds.), Connecting with Computability. Proceedings of Computability in Europe., . pp. 434445. 2021.Abstract The aim of this paper is to take a look at Péter's talk "Rekursivität und Konstruktivität" delivered at the Constructivity in Mathematics Colloquium in 1957, where she challenged Church's Thesis from a constructive point of view. The discussion of her argument and motivations is then connected to her earlier work on recursion theory as well as her later work on theoretical computer science.

Oxford UniversityPostdoctoral Fellow
Areas of Specialization
4 more