

Well, Con(PA) is a “natural” statement I’d say, and ZFC proves Con(PA).
Well, Con(PA) is a “natural” statement I’d say, and ZFC proves Con(PA).
All the successful theories were developed from experimental results
The more I think about this, the more I’m not sure I 100% agree… For example, special relativity essentially came from the observation that Maxwell’s equations were not Galilean invariant, and instead invariant under this weird other group (what we now call the Lorentz group); and QED essentially came from Dirac wanting to take a “square root” of the Klein-Gordan equation.
(Of course, real history is more intricate than this.)
This is not about the same article nor the same authors.
No one, and I mean absolutely no one, “truly” “thinks in words”, even people who have a constant running narrative in their head. The reason is simple: How can you choose words/form sentences without any prior thought/idea that those words describe? How can you “struggle to find the right words” if your thoughts are originally in words (an experience I assume everyone has had)?
Commas how, do they work?