Presburger Arithmetic

Godel's theorem	ZF	The Unreasonable Effectiveness of Mathematics	Peano postulates
"Why is my mom three thousand miles away?": Life After The E2 End of Summer Denial of School Northwest Gathering	The Physics of Immortality	Peano arithmetic	foundations of mathematics
phase space	Mersenne Twister	Fundamental theorem of arithmetic	Is mathematics consistent?
God made the integers, all else is the work of man	deuteron	Diophantine equation	set theory notation
logic bomb	Platonism	David Hilbert	arithmetic without induction
Most pernicious misconception about evolution	binary arithmetic	I want to rip off your logic and make passionate sense to you	formal logic

Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.

Everything2

Login
Password