Why formalize mathematics – more than catching errors (rkirov.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of rkirov.github.io: Why formalize mathematics – more than catching errors

First screen, captured 1 year ago.

Looks similar

Screenshot of rkirov.github.io: Learning Lean: Part 1

Learning Lean: Part 1 (rkirov.github.io)

117 points by vinhnx 8 months ago | 15 comments

Screenshot of laurmaedje.github.io: Typst's Math Mode Problem

Typst's Math Mode Problem (laurmaedje.github.io)

98 points by marcianx 1 year ago | 44 comments

Screenshot of igorpak.wordpress.com: What if they are all wrong? (2020)

What if they are all wrong? (2020)(igorpak.wordpress.com)

67 points by macleginn 2 years ago | 18 comments

Screenshot of davidbessis.substack.com: We've been wrong about math for 2300 years

We've been wrong about math for 2300 years (davidbessis.substack.com)

22 points by gmays 1 year ago | 14 comments

Screenshot of nicf.net: Physics for Mathematicians – Introduction

Physics for Mathematicians – Introduction (nicf.net)

204 points by irsagent 2 years ago | 50 comments

Screenshot of rjp.io: Reflections on Sudoku, or the Impossibility of Systematizing Thought

Reflections on Sudoku, or the Impossibility of Systematizing Thought (rjp.io)

73 points by rjpower9000 1 year ago | 53 comments