Not
Hacker
News
!
Home
Hiring
Products
Discussion
Q&A
Users
Not
Hacker
News
!
Home
Hiring
Products
Discussion
Q&A
Users
Home
/
Discussion
/
Mathematical Proof
Back to Discussion
Mathematical Proof
Loading...
4 stories
•
24h:
0%
•
7d: 0
•
105 comments
Top contributors:
birdculture
dxs
debo_
ocfnash
Stories
Related Stories
4 stories tagged with mathematical proof
Why Formalize Mathematics – More Than Catching Errors
224
75 comments
by birdculture
Posted
3 months ago
Active
about 1 month ago
formalized mathematics
Lean
mathematical proof
Mathematical Proof Debunks Idea the Universe Is a Computer Simulation
30
25 comments
by dxs
Posted
2 months ago
Active
about 1 month ago
simulation hypothesis
mathematical proof
cosmology
Physicists Have Mathematically Proven the Universe Is Not a Simulation
3
5 comments
by debo_
Posted
2 months ago
Active
about 1 month ago
simulation hypothesis
physics
mathematical proof
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
2
0 comments
by ocfnash
Posted
3 months ago
Active
about 1 month ago
formal mathematics
mathlib initiative
mathematical proof
Mathematical Proof | Trending Topic on Hacker News | Not Hacker News!