Results for 'Ryota Akiyoshi'

Order:
  1. Takeuti's well-ordering proofs revisited.Andrew Arana & Ryota Akiyoshi - 2021 - Mita Philosophy Society 3 (146):83-110.
    Gaisi Takeuti extended Gentzen's work to higher-order case in 1950's–1960's and proved the consistency of impredicative subsystems of analysis. He has been chiefly known as a successor of Hilbert's school, but we pointed out in the previous paper that Takeuti's aimed to investigate the relationships between "minds" by carrying out his proof-theoretic project rather than proving the "reliability" of such impredicative subsystems of analysis. Moreover, as briefly explained there, his philosophical ideas can be traced back to Nishida's philosophy in Kyoto's (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Boosting healthier choices.Thomas Rouyard, Bart Engelen, Andrew Papanikitas & Ryota Nakamura - 2022 - The BMJ 376:e064225.
    Download  
     
    Export citation  
     
    Bookmark