Skip to main content
Philosophy
Thomas Klimpel's user avatar
Thomas Klimpel's user avatar
Thomas Klimpel's user avatar
Thomas Klimpel
  • Member for 13 years
  • Last seen this week
  • Munich, Germany
Profile Activity
Stats
4,079
reputation
268k
reached
79
answers
28
questions
Communities
View all
About

My past research interests included differential algebraic equations, nonlinear analysis and relations between symmetries and structural properties.

My current interests are more diffuse, and got more directed towards computer science. I'm especially interested in software development as a collaborative activity.

Badges
View all badges
This user doesn’t have any gold badges yet.
24
silver badges
40
bronze badges
Top tags
View all tags
64
Score
29
Posts
27
Posts %
58
Score
38
Posts
36
Posts %
29
Score
17
Posts
16
Posts %
25
Score
13
Posts
12
Posts %
15
Score
8
Posts
7
Posts %
7
Score
7
Posts
7
Posts %
Top posts
View all questions and answers
41
How did first-order logic come to be the dominant formal logic?
Apr 17, 2012
13
What are the fundamental differences between the belief system of science and religious belief systems?
Dec 3, 2011
12
How is Bayesian reasoning related to the scientific method?
Mar 22, 2014
11
Should philosophers care about the existence of emotions?
May 20, 2012
11
What are the differences between Tarski's 1933 and 1956 truth definitions?
Aug 16, 2013
10
Is 1+1=2 true by definition ?
Nov 22, 2013
9
What are the truth-values of intuitionistic logic?
Mar 22, 2014
8
Are there any known deficits of "relevant logic"?
Apr 15, 2012
8
Which ontological commitments are embedded in a straightforward Turing machine model?
Jul 6, 2014
8
Nonexistence and invalid formulas in modal logic
Jun 27, 2013
Top Meta posts
1
2
7
Isn't everything helpful - except it isn't?
3
Is "Stack exchange is not the place to learn first order logic" a correct statement?
Top network posts
View all network posts
55
What are some very important papers published in non-top journals?
30
Proof refutation: Amateur reviews of ambitious CoRR papers
28
On mathematical arguments against Quantum computing
26
Was von Neumann's 1954 ICM address "Unsolved Problems in Mathematics" outdated?
24
Mathematical research interrupted by a war