What Tim Sweeney thinks about formal proof

@tim-sweeney · 22 positions · On ppll ↗

Founder and CEO of Epic Games, creator of the Unreal Engine and of Fortnite.

Tim Sweeney did not write this page.

We collected these quotes from things they published elsewhere, and every quote links to where it was said. They have no account here and have not endorsed this site. Quotes are word for word; the short line under each one is our own restatement, not their wording. Their own site. Is this you? Claim it or ask us to remove it. Or tell us what is wrong here.

Filter formal proof · Newest first

Topic

All 22video games 8design 3LLMs 2Apple 1code generation 1crypto 1empathy 1formal proof 1Google 1

6 more topics

hiring 1JavaScript 1optimism 1physics 1software performance 1startups 1

Sort

NewestOldest

Only Tim Sweeney on formal proof. See everyone on formal proof

1 dated position, 2025, in their own words. Our reading of what Tim Sweeney has said — not written or endorsed by them.

1 position so far — this page is not yet offered to search engines.

1. 30 Apr 2025

   Our readingThere is one right way to build a type system, the way that gives you mathematical proofs, and every other kind of type system is simply worse and should be rejected.

   Their wordsBut there are other parts of programming languages that are not subjective but should be fundamental. And when you look at type systems, there is a way to do type systems that gives you mathematical proofs. And every other way of type systems that doesn't give you mathematical proofs is just worse and should ultimately be rejected.

   ↗Tim Sweeney: Fortnite, Unreal Engine, and the Future of Gaming | Lex Fridman Podcast #467youtube.com 15th of 22 in this recording