Switch to: References

Add citations

You must login to add citations.
  1. Experimental Philosophy of Art and Aesthetics.Elzė Sigutė Mikalonytė, Ryan Doran & Shen-yi Liao - 2024 - Stanford Encyclopedia of Philosophy.
    Experimental philosophy of art and aesthetics is the application of the methods of experimental philosophy to questions about art and aesthetics. By taking a scientific approach to experiences with art and aesthetic phenomena, it is continuous with the longstanding research program in psychology called empirical aesthetics. However, it is also continuous with traditional research in philosophy of art and aesthetics because it is centered on many of the same timeless questions. Like other branches of experimental philosophy, such as experimental moral (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Value Judgments in Mathematics: G. H. Hardy and the (Non-)seriousness of Mathematical Theorems.Simon Weisgerber - 2024 - Global Philosophy 34 (1):1-24.
    One of the general criteria G. H. Hardy identifies and discusses in his famous essay A Mathematician’s Apology (Cambridge University Press, Cambridge, 1940) by which a mathematician’s patterns must be judged is seriousness. This article focuses on one of Hardy’s examples of a non-serious theorem, namely that 8712 and 9801 are the only numbers below 10000 which are integral multiples of their reversals, in the sense that 8712 = 4·2178, and 9801 = 9·1089. In the context of a discussion of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • How to Recognize Artificial Mathematical Intelligence in Theorem Proving.Markus Pantsar - forthcoming - Topoi:1-14.
    One key question in the philosophy of artificial intelligence (AI) concerns how we can recognize artificial systems as intelligent. To make the general question more manageable, I focus on a particular type of AI, namely one that can prove mathematical theorems. The current generation of automated theorem provers are not understood to possess intelligence, but in my thought experiment an AI provides humanly interesting proofs of theorems and communicates them in human-like manner as scientific papers. I then ask what the (...)
    Download  
     
    Export citation  
     
    Bookmark