User jwodder

2 votes

Predicate calculus statement and its negation

answered May 31, 2020 at 4:13

1 vote

Proof by contradiction involving set theory

answered Sep 30, 2014 at 19:11

4 votes

Random math questions (modular arithmetic & notation)

answered Aug 4, 2013 at 22:13

2 votes

Accepted

Mathematical induction solution I don't understand

answered Jul 11, 2013 at 1:47

3 votes

Translating statements into Predicate Logic

answered Feb 25, 2013 at 8:37

3 votes

Accepted

Axiom 3 of Hilbert System

answered Oct 9, 2012 at 3:04

3 votes

A function whose arguments can be restored from the value

answered May 7, 2012 at 15:03

28 votes

Accepted

Where to begin with foundations of mathematics

answered May 4, 2012 at 2:15

4 votes

Accepted

Finding the area of 4 rectangles

answered Apr 4, 2012 at 0:02

2 votes

Accepted

finding a point in a cylinder

answered Feb 22, 2012 at 1:59

-1 votes

Symbolic predicate logic for "for all elements in a set except this one..."

answered Jan 11, 2012 at 1:07

0 votes

Why is this relation not transitive but R = {(3,4)} is ?

answered Nov 24, 2011 at 22:56

0 votes

Groups: showing $ab=1$ implies $ba=1$.

answered Oct 9, 2011 at 3:10

16 votes

To Mock A Mockingbird: Flower Garden (Math Puzzle)

answered Aug 25, 2011 at 19:14

27 votes

Is there a prime number between every prime and its square?

answered May 9, 2011 at 21:52

4 votes

Is there any mathematical operation on Integers that yields the same result as doing bitwise "AND"?

answered May 8, 2011 at 19:27

Stack Exchange Network

16 Answers

Predicate calculus statement and its negation

Proof by contradiction involving set theory

Random math questions (modular arithmetic & notation)

Mathematical induction solution I don't understand

Translating statements into Predicate Logic

Axiom 3 of Hilbert System

A function whose arguments can be restored from the value

Where to begin with foundations of mathematics

Finding the area of 4 rectangles

finding a point in a cylinder

Symbolic predicate logic for "for all elements in a set except this one..."

Why is this relation not transitive but R = {(3,4)} is ?

Groups: showing $ab=1$ implies $ba=1$.

To Mock A Mockingbird: Flower Garden (Math Puzzle)

Is there a prime number between every prime and its square?

Is there any mathematical operation on Integers that yields the same result as doing bitwise "AND"?