Constructivism

Proof by construction is the path
That God Himself has set in math.
To prove that chaos can be transformed
Into a world, the world was formed.
A choir of angels came to be
Singing: “Hosanna! QED!”

But man, a thing of clay and dust,
Had little wit and too much trust.
Soon he was fooled and led astray.
And we, his children, to this day
Remain a weak and bounded race.
Induction for the finite case
Is all we do, till in the end
Each one must meet the final N.

But there is yet a baser proof.
It’s branded by a fiery hoof.
Proof by negation seeks to alter
The very truth. And should you falter,
And in your pride or desperation
Seek to invoke the dark negation,
Repent! Or you should ever rue
Your “Let the opposite be true”.


[Недавно я прочла двустишие Саши Казакова <<О Всемогуществе>> http://stihi.ru/2019/10/15/6359.

Эти рассуждения о математической теологии (или теологической математике) напомнили мне про шуточный стишок, который я сочинила много лет назад, в аспирантуре. У меня был тогда один профессор -- математик-конструктивист. Доказательства <<от противного>> он на дух не принимал. Вообще, строгий был дядечка. После того, как я закончила его курсы, я преподнесла ему сии вирши, и он улыбнулся, в первый и последний раз за то время, когда мне приходилось его видеть.]