Mathematics
Dan Simon's user avatar
Dan Simon's user avatar
Dan Simon's user avatar
Dan Simon
  • Member for 12 years, 4 months
  • Last seen more than 1 year ago
  • NJ
Profile Activity
Stats
904
reputation
16k
reached
24
answers
0
questions
Communities
View all
About

I'm a software engineer with a strong interest in math, particularly set theory and mathematical logic.

Badges
View all badges
This user doesn’t have any gold badges yet.
8
silver badges
13
bronze badges
Top tags
View all tags
20
Score
4
Posts
17
Posts %
18
Score
9
Posts
38
Posts %
16
Score
2
Posts
8
Posts %
15
Score
1
Posts
4
Posts %
13
Score
3
Posts
12
Posts %
11
Score
8
Posts
33
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
15
Why is the Axiom of Infinity necessary?
Jan 31, 2016
answer
10
Can we prove ZFC is consistent?
Feb 10, 2016
answer
4
What's the need for the axiom of regularity in ZF?
Dec 16, 2015
answer
4
Lowering the cardinality of a set?
Jan 13, 2016
answer
4
Textbook Accompanying Naive Set Theory
Jan 21, 2016
answer
4
How to verify satisfialibility in a model? (Confusions with Gödel's Completeness Theorem)
Jan 16, 2017
answer
3
What is the Cardinality?
Feb 19, 2016
answer
2
Undirected partially ordered sets
Dec 15, 2015
answer
2
Possible interpretations for a predicate symbol in first order logic
Jan 15, 2016
answer
2
NAND, XOR and AND
Jan 21, 2017
Top network posts
View all network posts
229
Get value of dynamically chosen class constant in PHP
101
Scala UTC timestamp in seconds since January 1st, 1970
55
Passing function as block of code between curly braces
49
Is there any way to create a type alias for multiple traits?
47
How do I insert an empty row, but have the autonumber update correctly?

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.