Skeptics Stack Exchange
Skeptics Stack Exchange

Nathan BeDell
293
reputation
1
5
  • New Orleans, LA, United States
  • Member since April 14 2014
  • 5 profile views
  • Last seen Nov 11 '20 at 00:11

1st year Ph.D. student in Mathematics at Tulane University. I'm interested broadly in the interactions between logic, category theory, and type theory.