Stop Doing Proofs — хватит доказывать

Ироничная математическая картинка о том, как доказательства и сложная логика превращают очевидные вещи в непонятные формулы
Ироничная математическая картинка о том, как доказательства и сложная логика превращают очевидные вещи в непонятные формулы

Сатирическая математическая картинка с заголовком «STOP DOING PROOFS» — «Хватит доказывать». Автор высмеивает стремление математиков формально доказывать очевидные вещи, упоминая логические рассуждения, гипотезу 3x+1 и просьбу предоставить доказательство равенства 1+1=2. В тексте также говорится, что для подобных случаев раньше существовал инструмент под названием «common sense» — здравый смысл. В нижней части изображения показаны примеры сложных математических доказательств с вопросительными знаками и ироничной подписью «Hello I would like Given apples please». Финальная фраза обвиняет теоретиков доказательств в том, что они выставили всех остальных абсолютными глупцами.

Stop doing proofs. • Reasoning was not supposed to be logical. • Years of wasted work yet no proof found for 3x+1 eventually hits 0. • Wanted to prove it anyway for a laugh? We had a tool for that: It was called “common sense”. • “I need a proof that 1+1=2.” • “What theorem proves it.” — Statements dreamed up by the utterly deranged. Look at what Proof Theorists have been demanding your Respect for all this time, with all the theorems & logic we built for them (This is REAL Proofs done by REAL Mathematicians): ?????? ??????? ?????????????????? “Hello I would like Given apples please” They have played us for absolute fools.