Schedule

6 08 2006

Where 1 represents Monday, 2 Tuesday, 3 Wednesday, … :

Math Studying

  1. Category Theory as a foundation for mathematics
  2. Elementary Number Theory
  3. Geometry and Transformation Groups
  4. Logic
  5. Abstract Algebra
  6. Category Theory and Computing
  7. Analysis

Programming

1,2 ,3. Game Project
4,5. Logic, Mathematical visualization
6,7. Coq proof assistant

Writing/Extra Reading

1,2. Exposition
3,5. Analogy Theory – Mine or Nonstandard Analysis
4,7. Metamath
6. Education or Nonstandard Analysis

Advertisements

Actions

Information

One response

8 08 2006
DAVID

wat is metamath

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s




%d bloggers like this: