Skip to main content
Physics
Nathan BeDell's user avatar
Nathan BeDell's user avatar
Nathan BeDell's user avatar
Nathan BeDell
  • Member for 10 years, 8 months
  • Last seen more than 1 year ago
Profile Activity
Stats
681
reputation
13k
reached
0
answers
4
questions
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
8
bronze badges
Top tags
View all tags
0
Score
2
Posts
50
Posts %
0
Score
2
Posts
50
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
question
42
Why does a flat universe imply an infinite universe?
Jul 8, 2014
question
6
Ж ("zhe") in string theory? [closed]
Jan 19, 2014
question
4
Do alternate theories for Dark Matter (like MOND) explain its effect on gravitational lensing?
Jul 8, 2014
question
2
Analogue of charge for magnetic fields?
Jan 24, 2016
Top network posts
View all network posts
25
Are there any annotated formal verification systems for pure functional programming languages?
21
How does lifting (in a functional programming context) relate to category theory?
17
Can you create functions that return functions of a dependent arity in a dependently typed language?
17
Are regular haskell algebraic data types equivalent to context free grammars? What about GADTS?
14
Is there a reasonable scientific backing for Carl Jung's type theories?