Skip to main content
user242007's user avatar
user242007's user avatar
user242007's user avatar
user242007
  • Member for 8 years, 7 months
  • Last seen more than 1 year ago
7 votes
7 answers
1k views

Spivak's Calculus: Chapter 1, Problem 18b (Quadratic determinant less than zero)

4 votes
1 answer
158 views

Prerequisites for proving basic arithmetic algorithms

4 votes
3 answers
85 views

Don't understand how $B \in \{\mathscr P(A) | A \in \mathscr F\} \equiv \exists A \in \mathscr F(B = \mathscr P(A))$

4 votes
2 answers
106 views

Rewriting $\mathscr P(\bigcup_{i \in I} A_i)\not\subset\bigcup_{i \in I} \mathscr P(A_i)$ in more fundamental terms.

4 votes
3 answers
312 views

Spivak's Calculus: Proofs concerning Pascal's Triangle

3 votes
2 answers
402 views

Spivak's Calculus: Chapter 1, Problem 17c (Minimum value of expression)

3 votes
1 answer
79 views

Apparent circularity of proofs for properties of natural number multiplication

2 votes
2 answers
494 views

Spivak's Calculus: Ch. 1, Problem 14 (absolute value inequality)

2 votes
1 answer
133 views

How to achieve this generalization of the Fibonacci sequence?

2 votes
2 answers
151 views

Don't understand this proof of $(A \triangle B)\cup C = (A\cup C)\triangle (B\setminus C)$

2 votes
2 answers
977 views

DeMorgan's Law and Differences of Sets

2 votes
1 answer
115 views

Proof, possibly involving distribution of the disjunction over biconditionals?

2 votes
2 answers
414 views

Combinations involving distinct sets of variables

2 votes
3 answers
585 views

Equivalence class in X as a subset of $\mathscr P(X)$

1 vote
1 answer
106 views

Regarding the prerequisites for $B \cap \bigcup _{i \in I} A_i = \bigcup _{i \in I} (B \cap A_i)$

1 vote
1 answer
57 views

Proof of equality of the intersection of power sets to the power set of an intersection dependent on associativity?

1 vote
2 answers
408 views

Equivalence classes of elements in $X$ vs. equivalence class of $X \times X$

1 vote
1 answer
52 views

Reasoning informally about $\{x \in B \mid x \notin C\} \in \mathscr P(A)$

1 vote
5 answers
604 views

Spivak's Calculus: Finding the formula for the sum of a series. [duplicate]

1 vote
3 answers
327 views

Ordered N-Tuples as Cartesian Products of Indexed Families

0 votes
0 answers
178 views

Quantificational Logic: "For every number a, the equation $ax^2 + 4x -2 = 0$ has at least one solution if and only if $a \ge -2$."

0 votes
1 answer
162 views

Quantifiers in the definition of unions of collection (Halmos)

0 votes
1 answer
887 views

Cartesian Product of an Indexed Family by example