113 reputation
4
bio website
location United States
age 28
visits member for 4 years, 1 month
seen Nov 13 at 16:53

I have a B.S. in mathematics.


Sep
24
awarded  Autobiographer
Apr
6
asked How many iterations are generally required when using the power iteration method?
Jan
19
awarded  Scholar
Jan
19
accepted Inference rules in ZFC
Jan
19
comment Inference rules in ZFC
en.wikipedia.org/wiki/List_of_rules_of_inference - Does that contain all of the ones I would need?
Jan
19
awarded  Student
Jan
19
comment Inference rules in ZFC
I do not know what extralogical means, unfortunately. Which inference rules should I use to prove theorems in ZFC? Or is there something I am missing?
Jan
19
asked Inference rules in ZFC
Oct
3
awarded  Supporter