Ami Iida

“The problem with knowledge, is its inexhaustible craving. the more of it you have, the less you feel you know”
― Olivie Blake, The Atlas Six

“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

“Challenges are what make life interesting and overcoming them is what makes Life meaningful. ~”
― Joshua J. Marine

“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