2 citations · 4 across the 23 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.LO2023
Epistemic systems and Flagg and Friedman's translation
Takao Inoué
In 1986, Flagg and Friedman \cite{ff} gave an elegant alternative proof of the faithfulness of Gödel (or Rasiowa-Sikorski) translation of Heyting arithmetic …
math.HO2023
On humanization of mathematics: aesthetic mathematics
Takao Inoué
This paper examines various methods and ideas for humanizing mathematics. The term 'humanizing mathematics' which includes elements of 'aesthetic mathematics' refers to approaches…