Skeptics
Nathan BeDell's user avatar
Nathan BeDell's user avatar
Nathan BeDell's user avatar
Nathan BeDell
  • Member for 9 years, 7 months
  • Last seen more than 3 years ago
Profile Activity
Stats
293
reputation
1k
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
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
View all tags
0
Score
2
Posts
50
Posts %
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 %
Top posts
All Questions Answers
Score Newest
question
8
Is it possible for ingested dsRNA (or other genetic materials) to affect human gene expression?
May 24, 2014
question
7
Does organic food have more antioxidants than nonorganic food?
Jul 30, 2014
question
2
Is the chemical composition of genetically modified crops tested?
Jun 1, 2014
question
1
Can acidosis be diet-induced?
May 24, 2015
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?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.