For example, have you ever heard a category theorist say "Oh, I wanna prove that this diagram commutes. Let's suppose it doesn't."
Andrej Bauer: Five Stages of Accepting Constructive Mathematics (2016-08-16)
Schlagwort: Logik
Proof by giving up.
Suffe regeltjes.
Het belang van logica zit in wat ze mogelijk maakt. [...] rechts gaat voor, stoppen bij rood. Uiteindelijk gaat het niet om die suffe regeltjes - het gaat om de mooie ritten die je kunt maken wanneer je je aan die regels houdt.
Barteld Kooi
Unexakt.
Der gütige Professor, der aus meiner öffentlichen literarischen Tätigkeit zuviel von mir wußte, um mich mit Kleinkram zu vexieren, sagte mir in einer privaten Vorbesprechung lächelnd: »Exakte Logik wollen Sie doch lieber nicht geprüft werden«, und führte mich dann in der Tat sachte auf die Gebiete, in denen er mich sicher wußte.
Stefan Zweig: Die Welt von Gestern (1944)
Always include what you forget.
It's far from obvious what's obvious.
Thinkoding.
Are programmers biased in terms of spending more time writing code than they do thinking about it?
Yes, the importance of thinking and writing before you code needs to be taught in undergraduate computer science courses and it’s not. And the reason is that there’s no communication between the people who teach programming and the people who teach program verification.