•  49
    Review by: Maté Szabó The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 110-112, March 2013
  •  42
    On field's nominalization of physical theories
    Magyar Filozofiai Szemle 54 (4): 231-239. 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
  •  33
    Kalmár's Argument Against the Plausibility of Church's Thesis
    History and Philosophy of Logic 39 (2): 140-157. 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
  •  2
    Péter on Church's Thesis, Constructivity and Computers
    In Liesbeth De Mol, Andreas Weiermann, Florin Manea & David Fernández-Duque (eds.), Connecting with Computability. Proceedings of Computability in Europe., . pp. 434-445. 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.