The Startup
Published in

The Startup

Prove Santa Claus Is Real Using Typescript


  • 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…



Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Andrew Pritchard

The stories I write are a part of a learning journey through life, logic and programming. Share this journey with me.