User:StephenBritton

From Cantor's Attic
Jump to: navigation, search

I am a 2011 Computer Science graduate of Christian Brothers University, the 14th user (13th enumerating from zero) to join Cantor's Attic, and the 5th user (4th enumerating from zero) to create a user profile page. I am interested in general abstract nonsense, transfiniteset theory (particularly large cardinals), and perennial philosophy.

Interactive Set Theory software I've written

  • Aleph enumerator, Enter a small finite positive integer (e.g., 10 - 20), and watch a sequence of hyperlinked alephs generated. I've intended on extending it to a large cardinal enumerator along with their associated ordinals and well-founded sets of each particular cardinality.