Order:
  1.  17
    (1 other version)Analog Computation and Church's Thesis.Jerzy Mycka - 2006 - In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years. Ontos Verlag. pp. 1--331.
  2.  49
    A foundation for real recursive function theory.José Félix Costa, Bruno Loff & Jerzy Mycka - 2009 - Annals of Pure and Applied Logic 160 (3):255-288.
    The class of recursive functions over the reals, denoted by , was introduced by Cristopher Moore in his seminal paper written in 1995. Since then many subsequent investigations brought new results: the class was put in relation with the class of functions generated by the General Purpose Analogue Computer of Claude Shannon; classical digital computation was embedded in several ways into the new model of computation; restrictions of were proved to represent different classes of recursive functions, e.g., recursive, primitive recursive (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  3. (1 other version)Czy muzyka jest ucieleśnieniem matematyki? Analiza przypadku introitu Statuit.Jerzy Mycka - 2012 - Filozofia Nauki 20 (3).
    The article starts with various definitions of music and its components (taken es-pecially from medieval sources). Then the Statuit introit is presented as the main example useful for mathematical analysis in the paper. We discuss the distinc-tion between a musical work and its performance and give a review of possible representations/ notations of music with their short mathematical characteristics. The next point is devoted to the concept of modality, Gregorian scales and selected theories linking musical experience with mathematics. We use (...)
    No categories
     
    Export citation  
     
    Bookmark  
  4.  27
    Is Church’s Thesis Still Relevant?Jerzy Mycka & Adam Olszewski - 2020 - Studies in Logic, Grammar and Rhetoric 63 (1):31-51.
    The article analyses the role of Church’s Thesis (hereinafter CT) in the context of the development of hypercomputation research. The text begins by presenting various views on the essence of computer science and the limitations of its methods. Then CT and its importance in determining the limits of methods used by computer science is presented. Basing on the above explanations, the work goes on to characterize various proposals of hypercomputation showing their relative power in relation to the arithmetic hierarchy. The (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  14
    (1 other version)Universality of functional systems and totality of their elements – the limits of conflict and mutual influence.Jerzy Mycka - 2017 - Philosophical Problems in Science 63:31-58.
    The article presents several examples of different mathematical structures and interprets their properties related to the existence of universal functions. In this context, relations between the problem of totality of elements and possible forms of universal functions are analyzed. Furthermore, some global and local aspects of the mentioned functional systems are distinguished and compared. In addition, the paper attempts to link universality and totality with the dynamic and static properties of mathematical objects and to consider the problem of limitations in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark