Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
Doug Spoonwood
top
accounts
reputation
activity
subscriptions
Top Questions
21
votes
Big Bang Theory Reference to Formal Logic
logic
modal-logic
asked Sep 23, 2014 at 6:31
math.stackexchange.com
15
votes
How many subsets of $\mathbb{N}$ have the same cardinality as $\mathbb{N}$?
elementary-set-theory
asked Dec 22, 2012 at 11:47
math.stackexchange.com
15
votes
Is the Ratio of Associative Binary Operations to All Binary Operations on a Set of $n$ Elements Generally Small?
combinatorics
abstract-algebra
analysis
asked Jun 16, 2011 at 1:52
math.stackexchange.com
8
votes
**Competition** Shortest Proof of Lukasiewicz's 13 Letter Axiom for Implicational Calculus from Tarski-Bernays
logic
propositional-calculus
asked May 29, 2014 at 20:47
math.stackexchange.com
7
votes
Can the Sum Rule for derivatives be extended to infinite series?
calculus
derivatives
asked Sep 5, 2012 at 0:04
math.stackexchange.com
6
votes
Do addition and multiplication have arity?
soft-question
arithmetic
asked Jul 17, 2011 at 15:16
math.stackexchange.com
5
votes
Is the Notion of the Empty Set Relative or Absolute?
set-theory
asked Jun 13, 2011 at 21:13
math.stackexchange.com
5
votes
How Many Theorems (Tautologies) Exist of 5, 6, 7, 8, and 9 Letters?
propositional-calculus
asked Oct 17, 2011 at 2:36
math.stackexchange.com
Top Answers
36
Set theory: difference between belong/contained and includes/subset?
math.stackexchange.com
15
Where did mathematicians learn how to do truth tables?
math.stackexchange.com
11
Solve equations $\sqrt{t +9} - \sqrt{t} = 1$
math.stackexchange.com
10
Are there formal or informal hiring bans in some academic settings based on gender and/or nationality?
academia.stackexchange.com
10
Should a mathematical proof be 'convincing'?
math.stackexchange.com
9
Why do books titled "Abstract Algebra" mostly deal with groups/rings/fields?
math.stackexchange.com
8
What exactly is nonstandard about Nonstandard Analysis?
math.stackexchange.com
8
Results that were widely believed to be false but were later shown to be true
math.stackexchange.com
8
How to write "let" in symbolic logic
math.stackexchange.com
8
Can you give me some concrete examples of magmas?
math.stackexchange.com
8
What is the difference between knowledge and belief?
philosophy.stackexchange.com
7
Division by zero
math.stackexchange.com
7
If $\Sigma \vdash \phi$ implies $\Sigma \vdash \varphi$ then $\Sigma \vdash \phi \to \varphi$ on propositional logic?
math.stackexchange.com
7
Is there deliberate gender preferential treatment in hiring or admission in STEM fields?
academia.stackexchange.com
6
Funny identities
math.stackexchange.com
6
Name for $(1-x)$?
math.stackexchange.com
6
What has been the first theorem discovered in the history of mathematics?
math.stackexchange.com
6
Generate all possible combinations of 3 digits without repetition
math.stackexchange.com
6
Tautological implication
math.stackexchange.com
6
Show that $f(x) = x$ if $f(f(f(x))) = x$.
math.stackexchange.com
5
What is the name of this function?
math.stackexchange.com
5
Difference between bijection and isomorphism?
math.stackexchange.com
5
If both $P$ and $Q$ are true , how can I tell that $P$ implies $Q$?
math.stackexchange.com
5
In axiomatization of propositional logic, why can uniform substitution be applied only to axioms?
math.stackexchange.com
5
Give a proof that "p & ~p" implies "q"?
math.stackexchange.com
5
What are some examples of "non-logical theorems" proven by Logic?
math.stackexchange.com
5
How is sexism unknowingly perpetrated in academia?
academia.stackexchange.com
5
What post PhD path alternatives are there?
academia.stackexchange.com
5
Examples of mathematical discoveries which were kept as a secret
math.stackexchange.com
5
Motivation for natural deduction
math.stackexchange.com
1
2
next
Stack Exchange works best with JavaScript enabled