Mathematics People Interested In Either Learning About The Peano Axioms Of Natural Numbers (how Do You
Mathematics people interested in either learning about the Peano axioms of natural numbers (how do you prove a+b = b+a) or interested in learning a proving assistant (Lean) should DEFINITELY check out the natural number game. This is a game which teaches you both of these things step by step, and has you construct the natural numbers and their most important properties from the very basic axioms. Even if you just like logical puzzles and are interested in a bit of mathematics you should check it out!
More Posts from Takinbreak and Others
Visualization of the Rubik's cube
now… imagine tau… τ
let pi=9
The illegal transgender aliens in prison
cavetown music is a soft blanket and warm tea in your favorite mug and a cat sleeping on your lap and a tight hug and someone telling you to take deep breaths in soothing tones and looking at your reflection in the mirror and finally feeling like maybe things will be alright
Hickory WHAT-ory Dock??? Agatha, you lascivious concubine…
????
-
sdjade liked this · 5 months ago -
from-the-end-of-the-world reblogged this · 6 months ago -
from-the-end-of-the-world liked this · 6 months ago
-
longflowingpants liked this · 6 months ago -
aku-zone liked this · 9 months ago -
passion8alot reblogged this · 10 months ago -
doesitevenmatterlol reblogged this · 10 months ago -
doesitevenmatterlol liked this · 10 months ago
-
villainessyuri liked this · 10 months ago -
unnatural-transformations reblogged this · 10 months ago -
oathofeternallove liked this · 11 months ago -
thnks-fr-th-samulet liked this · 11 months ago -
tbhimo reblogged this · 1 year ago -
09-05-02 liked this · 1 year ago -
hvnsent73 liked this · 1 year ago -
i-iii-iii-vii liked this · 1 year ago -
wiltedsunflowr liked this · 1 year ago -
rationix liked this · 1 year ago -
horsw liked this · 1 year ago -
un-arrullo-de-estrellas liked this · 1 year ago -
crltsr liked this · 1 year ago -
anoncolumn31 liked this · 1 year ago -
bonkidemia reblogged this · 1 year ago -
pertemis-lover liked this · 1 year ago
-
legwelfexiste liked this · 1 year ago -
robotabc773 reblogged this · 1 year ago -
yeetley liked this · 1 year ago -
wuwojiti reblogged this · 1 year ago -
wuwojiti liked this · 1 year ago
-
passion8alot reblogged this · 1 year ago
-
harru10 reblogged this · 1 year ago -
masqueofthefemdeath reblogged this · 1 year ago -
calmsober liked this · 1 year ago -
spirit-of-science liked this · 1 year ago -
neona reblogged this · 1 year ago -
planerider-ryn liked this · 1 year ago -
pointypointeshoes liked this · 1 year ago -
loventiori liked this · 1 year ago -
goofy-lobster liked this · 1 year ago -
kohakhearts liked this · 1 year ago -
thoughtsofablogfish liked this · 1 year ago -
9rats reblogged this · 1 year ago -
9rats liked this · 1 year ago
-
vivifahs reblogged this · 1 year ago -
xxyyxy reblogged this · 1 year ago -
tomatobees liked this · 1 year ago
