Ami Iida

“When in my present lonely lot, I feel my past has not been free From sins which I remember not, I dread more, what to come, may be.”
― Murasaki Shikibu, The Tale of Genji

“Man is a foolish creature who wants above all to have someone else know about him.”
― Yasushi Inoue

“However, in 1930 (published in 1931), Godel produced his bombshell, which eventually showed that the formalists' dream was unattainable! He demonstrated that there could be no formal system F, whatever, that is both consistent (in a certain 'strong' sense that I shall describe in the next section) and complete-so long as F is taken to be powerful enough to contain a formulation of the statements of ordinary arithmetic together with standard logic. Thus, Godel's theorem would apply to systems F for which arithmetical statements such as Lagrange's theorem and Goldbach's conjecture, as described in 2.3, could be formulated as mathematical statements.”
― Roger Penrose

“Platonist view of mathematical ideas: that mathematical truths ‘really’ exist, but they do so in an ideal form in some sort of parallel reality, which has always existed and always will.”
― Ian Stewart, Significant Figures: The Lives and Work of Great Mathematicians