MathOverflow
Christoph-Simon Senjak's user avatar
Christoph-Simon Senjak's user avatar
Christoph-Simon Senjak's user avatar
Christoph-Simon Senjak
  • Member for 13 years, 11 months
  • Last seen more than 5 years ago
Profile Activity
Stats
747
reputation
59k
reached
17
answers
5
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
12
bronze badges
Top tags
View all tags
27
Score
18
Posts
82
Posts %
17
Score
1
Posts
5
Posts %
15
Score
3
Posts
14
Posts %
15
Score
2
Posts
9
Posts %
9
Score
2
Posts
9
Posts %
6
Score
8
Posts
36
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
17
Function extensionality: does it make a difference? why would one keep it out of the axioms?
Jan 31, 2014
question
10
Examples of inductive proofs that can be generalized by transfinite induction
Mar 16, 2010
question
8
What fails when using call/cc as realizer of the Peirce formula
Jan 16, 2011
answer
5
When are two proofs of the same theorem really different proofs
Jan 20, 2010
answer
5
Most 'unintuitive' application of the Axiom of Choice?
Jul 14, 2011
question
4
Is the chromatic number of the real plane invariant under the norm?
Jan 3, 2011
answer
4
Why can't proofs have infinitely many steps?
Aug 29, 2010
answer
4
Non-constructive proofs of decidability?
Sep 26, 2013
question
3
Non-Computational classical subterms
Jan 6, 2012
answer
3
Can SAT be solved in time n^k, for a specific k?
Jun 10, 2010
Top network posts
View all network posts
24
Capital ẞ in LaTeX/XeTeX/lualatex/whatever
11
Is use of CC BY-NC-ND 3.0 library in open source project a derivative work?
10
The well ordering principle
5
How to write a userspace linux block device driver?

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.