•  54
    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
  •  50
    Review by: Maté Szabó The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 110-112, March 2013
  •  39
    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
  •  28
    Regulating the future? Law, ethics, and emerging technologies
    with Iván Székely and Beatrix Vissy
    Journal of Information, Communication and Ethics in Society 9 (3): 180-194. 2011.
    PurposeThe purpose of the paper is to provide an overview of the legal implications which may be relevant to the ethical aspects of emerging technologies, to explore the existing situation in the area of legal regulation at EU level, and to formulate recommendations for the lawmakers.Design/methodology/approachThe analysis is based on the premise that the law is supposed to invoke moral principles. Speculative findings are formulated on the basis of analyzing specific emerging technologies; empi…Read more
  •  10
    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.