Skip to main content
Mathematics
user833970's user avatar
user833970's user avatar
user833970's user avatar
user833970
  • Member for 11 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
377
reputation
11k
reached
2
answers
8
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
Top tags
View all tags
7
Score
5
Posts
50
Posts %
7
Score
1
Posts
10
Posts %
7
Score
1
Posts
10
Posts %
7
Score
1
Posts
10
Posts %
7
Score
1
Posts
10
Posts %
0
Score
7
Posts
70
Posts %
Top posts
10
Peano axioms expressed in type theory
Mar 21, 2013
7
How to start with automated theorem proving?
Mar 26, 2013
4
Give an example of a program in Simply Typed Lambda that produces Bottom.
Sep 30, 2013
2
mapping simple first oreder problems to type theory
Mar 25, 2013
2
in type theory does (x:A) imply ((x:A):A)
Apr 1, 2013
2
Variables in Types in type theory
Apr 3, 2013
2
What can be proven within Simply Typed lambda calculus?
Sep 26, 2013
2
Are there non-trival logics that exibit soundness and completeness that are not first order?
Dec 2, 2014
1
Example of a logic where a proof by contradiction does not imply a direct proof.
Apr 2, 2013
0
Peano axioms expressed in type theory
Jul 31, 2013
Top network posts
View all network posts
92
AudioRecord object not initializing
31
Has anyone ever accidentally "proven" a false theorem with type-in-type?
16
Can blogging about research results first affect your ability to publish them later?
15
In the Hott book, are the most of the type formers redundant? And if so, why?
14
In Jenkins plugin developement, what is the Stapler (org.kohsuke.stapler.Stapler)?