There’s also something partly right about the “informal reasoning messes up formal” idea, as shown by the Cognitive Reflection Test. https://en.wikipedia.org/wiki/Cognitive_reflection_test …pic.twitter.com/ef2sCzzgO3
U tweetove putem weba ili aplikacija drugih proizvođača možete dodati podatke o lokaciji, kao što su grad ili točna lokacija. Povijest lokacija tweetova uvijek možete izbrisati. Saznajte više
Goddesses are spooks, right? ;-) Above you pointed to "propositions" or "beliefs" as spooks, but they reminded me of what many called a "sense" in late 1900s philosophy of language. Also, "senses" wreak havoc with most straightforward "NL-to-logic" translation attempts...
2/ Basically, a person sortof(MUST) sortof(understand) THAT words after "that" sortof(refer) to nebulous mental objects... The (mostly failed) attempts to translate "NL-to-logic" very systematically often mention "intensional contexts" as jargon:https://www.youtube.com/watch?v=iNVXHvqgubo …
I think the simplest explanation is that he had direct perception of independently real mathematical truths, but looking at the descriptions of his dreams it actually fits quite well...
“...a red screen formed by flowing blood as it were. I was observing it. Suddenly a hand began to write on the screen. I became all attention. That hand wrote a number of results in elliptic integrals. They stuck to my mind. As soon as I woke up, I committed them to writing"
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.