2023
-
Using A Theorem Prover
2023-10-27 07:49:17-04:00 (EDT)
I reccomend the Lean4 Natural Number Game.
2010
- REAL10 2010-12-09 00:20:44-06:00 (CST)
- published 2010-08-12 09:42:12-05:00 (CDT)
- the 16 binary boolean operators 2010-04-20 19:13:29-05:00 (CDT)
2006
- Apolonian Circle Inversion 2006-09-23 00:56:33-05:00 (CDT)
- trigonometry 2006-06-07 18:31:58-05:00 (CDT)
2005
- patents 2005-05-30 10:17:44-05:00 (CDT)
- game theory, game design, gambling, and mathematics 2005-05-26 11:59:48-05:00 (CDT)
- a man committed to the objectivity of truth, and to objective standards of rationality 2005-03-19 16:56:00-06:00 (CST)
- Geometry Fun 2005-03-18 11:57:02-06:00 (CST)
2004
- Mathematical Writing, part 1 2004-10-23 22:18:42-05:00 (CDT)
- Rotor Router Applet v1.0 2004-07-06 15:47:43-05:00 (CDT)
- Hexagonal Minesweeper. 2004-04-10 21:38:17-05:00 (CDT)
- Ergodic hypothesis 2004-03-17 11:58:07-06:00 (CST)
2003
- Platonism. 2003-10-12 13:15:27-05:00 (CDT)
- Applets for SSL 2003-09-25 21:17:51-05:00 (CDT)
- My paper 2003-09-07 17:40:34-05:00 (CDT)
- The Fall 2003-08-12 13:04:08-05:00 (CDT)
- the n Queens problem 2003-08-03 21:55:51-05:00 (CDT)
- ALGEBRA! 2003-03-13 17:06:51-06:00 (CST)
- From Today's Algebra Class 2003-03-11 12:18:01-06:00 (CST)