Mauro ALLEGRANZA

Italy

http://none

An old "dilettante" of mathematical logic , philosophy of science and history of science.

top accounts reputation activity subscriptions

What are reasons why some symbols in mathematical logic are not standardized?

logic notation math-history convention asked Jan 7, 2014 at 17:19

math.stackexchange.com

12 votes

What is the correct reading of $\bot$?

logic philosophy proof-theory asked Jan 31, 2014 at 8:52

math.stackexchange.com

11 votes

Who stole the axioms in Natural Deduction?

logic philosophy proof-theory asked Mar 13, 2014 at 15:58

math.stackexchange.com

9 votes

Gödel's Completeness Theorem and satisfiability of a formula in first-order logic

logic asked Feb 28, 2014 at 8:14

math.stackexchange.com

9 votes

Historical roots of the justification for the rule for multiplication of negative numbers

mathematics terminology asked Nov 10, 2015 at 9:36

hsm.stackexchange.com

7 votes

How to prove consistency of Natural Deduction systems

logic proof-theory asked Jan 29, 2014 at 10:32

math.stackexchange.com

7 votes

Original proof of Gödel's completeness theorem compared to Henkin's proof

lo.logic foundations asked Nov 12, 2013 at 10:03

mathoverflow.net

7 votes

Elliott Mendelson, Introduction to Mathematical Logic [fourth edition] - definition of logical consequence

logic asked Nov 21, 2013 at 16:54

math.stackexchange.com

6 votes

Some questions regarding Smullyan's proof of Compactness Theorem for propositional logic

logic proof-explanation asked Jan 9, 2014 at 10:32

math.stackexchange.com

6 votes

A question about the (un)derivability of Cut Rule in Sequent Calculus

logic proof-theory sequent-calculus asked Jan 18, 2021 at 11:59

math.stackexchange.com

Top Answers

321

Is it faster to count to the infinite going one by one or two by two?

math.stackexchange.com

101

What famous theorems or results were proven by female mathematicians?

hsm.stackexchange.com

Why is "mathematical induction" called "mathematical"?

math.stackexchange.com

How did early mathematicians make it without Set theory?

math.stackexchange.com

Why does "Daisy has four legs" not entail "Daisy has more than two legs"?

philosophy.stackexchange.com

Is a proof still valid if only the writer understands it?

math.stackexchange.com

How is first-order logic complete but not decidable?

philosophy.stackexchange.com

Is an anti-symmetric and asymmetric relation the same? Are irreflexive and anti reflexive the same?

math.stackexchange.com

Whose shoulders did Newton stand on?

hsm.stackexchange.com

Why does proof by elimination work?

math.stackexchange.com

What is mathematical logic?

math.stackexchange.com

What was Euler's motivation for introducing $i$ for $\sqrt{-1}$?

hsm.stackexchange.com

Who introduced the Principle of Mathematical Induction for the first time?

hsm.stackexchange.com

Was Aristotle really wrong about gravity?

hsm.stackexchange.com

Where did Machiavelli say that "the ends justify the means"?

philosophy.stackexchange.com

Did medieval scholars believe the Earth was round?

history.stackexchange.com

Irrationality of the square root of 2

hsm.stackexchange.com

Why is $\wedge$ a minimum and $\vee$ a maximum?

math.stackexchange.com

Why does Euclid write "Prime numbers are more than any assigned multitude of prime numbers."

math.stackexchange.com

Is p→p a theorem in intuitionistic logic?

philosophy.stackexchange.com

Why is the empty set a subset of every set?

math.stackexchange.com

Is rejecting A not equivalent to accepting ~A?

philosophy.stackexchange.com

History of the notation for substitution

mathoverflow.net

Is $ \forall x \in \emptyset. (P(x) \land \lnot P(x)) $ true?

math.stackexchange.com

How is geometry defined using ZFC?

math.stackexchange.com

Did Joseph Fourier ever make a pure mathematical mistake?

math.stackexchange.com

What is "Bourbaki's style in mathematics"?

math.stackexchange.com

What's the word for anything is true if the antecedent is false?

philosophy.stackexchange.com

What's the name of the logical fallacy where a debater extends a statement far beyond the original statement to make it true?

philosophy.stackexchange.com

Is the symbol for set membership $\in$ derived from greek letter $\epsilon$?

hsm.stackexchange.com