Mathematics
Nathan BeDell's user avatar
Nathan BeDell's user avatar
Nathan BeDell's user avatar
Nathan BeDell
  • Member for 9 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
3,135
reputation
93k
reached
18
answers
111
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.
14
silver badges
23
bronze badges
Top tags
View all tags
7
Score
13
Posts
10
Posts %
7
Score
8
Posts
6
Posts %
3
Score
30
Posts
23
Posts %
2
Score
20
Posts
16
Posts %
2
Score
10
Posts
8
Posts %
0
Score
24
Posts
19
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
12
What is the intuition behind the negative exponential '?' in linear logic?
Jun 21, 2016
question
11
Is there an operation on matrices such that the determinant yields a homomorphism with the additive group of the reals?
May 20, 2016
question
8
Are there any fields with a matrix representation other than $\mathbb{C}$?
Sep 18, 2015
answer
7
What is the intuition behind the negative exponential '?' in linear logic?
Jun 29, 2016
question
7
Efficient algorithm for calculating the tetration of two numbers mod n?
Jun 10, 2014
question
6
Can type theory be viewed as an alternative to model theory?
Mar 14, 2016
question
6
Is there a notion of "codependent" types for coinductive types?
Jan 25, 2017
question
6
Is the reasoning/algebra for my proof correct? (musical tuning theory proof)
Apr 15, 2014
question
6
Does the law of the excluded middle imply the existence of "intangibles"?
Dec 26, 2015
question
6
Is there an online database somewhere that lists identities for algebraic structures with two binary operators?
Jun 10, 2014
Top network posts
View all network posts
41
Why does a flat universe imply an infinite universe?
25
Are there any annotated formal verification systems for pure functional programming languages?
20
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.