Skip to main content
Theoretical Computer Science
dezakin's user avatar
dezakin's user avatar
dezakin's user avatar
dezakin
  • Member for 10 years, 5 months
  • Last seen more than 8 years ago
Profile Activity
Stats
318
reputation
2k
reached
1
answer
2
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
8
Score
3
Posts
100
Posts %
8
Score
3
Posts
100
Posts %
8
Score
1
Posts
33
Posts %
8
Score
1
Posts
33
Posts %
8
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
question
9
First order satisfiability that doesn't have finite models
Oct 7, 2014
answer
8
What paradigm of automated theorem proving is appropriate for Principia Mathematica-style formalization?
Jul 9, 2014
question
3
Can we verify satisfiability of first order statements via saturation in sub-exponential time?
Dec 19, 2014
Top network posts
View all network posts
28
What are some examples of third, fourth, or fifth order logic sentences?
17
On progress in mathematics: some long-open problems and long-standing conjectures
11
How can I generate dense unique type IDs at compile time?
11
Are roots of unity in hypercomplex algebras well defined?
10
What are polynomial like expressions that have complex numbers for the exponents?