Skip to main content
Academia
Nathan BeDell's user avatar
Nathan BeDell's user avatar
Nathan BeDell's user avatar
Nathan BeDell
  • Member for 8 years, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
325
reputation
3k
reached
0
answers
5
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
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
View all tags
0
Score
3
Posts
60
Posts %
0
Score
3
Posts
60
Posts %
0
Score
2
Posts
40
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top posts
question
9
How can one best seek out collaborators in obscure topics as a young researcher?
May 27, 2017
question
5
Low math GRE subject test scores, but high scores on Major Field Test: Should I mention this in my letters of intent?
Dec 3, 2016
question
4
Is it ok to mention a research interest with professors outside of your department in a letter of intent?
Dec 7, 2016
question
2
How much freedom do mathematics ph.d. students usually have in choosing a topic for their thesis in the U.S?
Dec 3, 2016
question
2
Does applying for FAFSA make a school less likely to offer you funding?
Mar 27, 2017
Top network posts
View all network posts
42
Why does a flat universe imply an infinite universe?
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?