Skip to main content
Haskell Curry's user avatar
Haskell Curry's user avatar
Haskell Curry's user avatar
Haskell Curry
  • Member for 11 years, 7 months
  • Last seen more than 11 years ago
29 votes
7 answers
10k views

Does Gödel's Incompleteness Theorem really say anything about the limitations of theoretical physics?

22 votes
4 answers
5k views

What would happen if ZFC were found to be inconsistent?

16 votes
2 answers
440 views

Is a bivariate function that is a polynomial function with respect to each variable necessarily a bivariate polynomial?

15 votes
1 answer
849 views

Independence results that cannot be established by forcing.

14 votes
1 answer
441 views

A bijection from the plane to itself that takes a circle to a circle must take a straight line to a straight line.

13 votes
1 answer
788 views

On Vanishing Riemann Sums and Odd Functions

12 votes
3 answers
705 views

A ‘strong’ form of the Fundamental Theorem of Algebra

12 votes
2 answers
288 views

Is every positive real number the limit of a sequence of ratios obtained from a double partition of $ \mathbb{N} $?

11 votes
1 answer
452 views

A hole puncher that hates irrational distances [duplicate]

11 votes
1 answer
555 views

Given a model of ZF where $ \mathbb{R} $ is the countable union of countable sets, does every subset of $ \mathbb{R} $ have measure zero?

11 votes
1 answer
351 views

Request for a proof of the following continued-fraction identity

10 votes
3 answers
760 views

Links to Online Videos of Good-Quality Lectures by Mathematicians

7 votes
1 answer
559 views

Exercise on partially ordered sets from Kunen's *Set Theory*

7 votes
2 answers
461 views

Can the real field be made a vector space over the complex field?

6 votes
2 answers
966 views

Involutions and Abelian Groups, II.

5 votes
1 answer
1k views

How does one show that this tensor product is not torsion-free?

5 votes
2 answers
110 views

Proving the unboundedness of a particular real-valued sequence.

5 votes
2 answers
698 views

What is the definition of the well-founded part of a model of set theory?

5 votes
0 answers
195 views

Do we really need to use the Jordan-Schönflies Theorem to prove that every surface can be triangulated?

5 votes
0 answers
301 views

Does the non-emptiness of the spectrum of an element of a Banach algebra depend on the Axiom of Choice?

4 votes
1 answer
2k views

Calculation of Gröbner basis.

4 votes
0 answers
770 views

An absolutely continuous cumulative distribution function that fails to have a Riemann-integrable pdf.

4 votes
2 answers
801 views

Motivation for a new definition of the derivative using the concept of average velocity

3 votes
2 answers
311 views

What is the definition of 'regular local' and 'regular' for noncommutative rings?

2 votes
1 answer
331 views

Non-Free Finitely Generated Injective Modules over a Local Ring

2 votes
0 answers
106 views

Proof of the existence of a special parametrization of the trefoil knot.

2 votes
1 answer
136 views

Request for proof of the following identity.

2 votes
1 answer
90 views

Does the following function on $ \mathbb{R}^{4} $ iterate to $ (0,0,0,0) $ after infinitely many steps?

1 vote
0 answers
625 views

On the geometric arguments used in Newton's *Principia Mathematica Naturalis Philosophae*

0 votes
2 answers
186 views

The problem of bound variables in mathematical definitions