Prove Santa Claus Is Real Using Typescript

Andrew Pritchard

·

Follow

Published in

The Startup

·

7 min read

·

Feb 14, 2021

--

1

Share

Summary

• Curry’s paradox allows proofs of any statement in some languages that have the ability to construct a self referential sentence.
• This paradox allows a proof of any statement, no matter how absurd.
• Some statically typed programming languages allow for basic logical statements to be made and subsequently proven. Typescript is one…