Reputation
4,668
Top tag
Next privilege 5,000 Rep.
Approve tag wiki edits
Badges
10 26
Impact
~140k people reached

  • 0 posts edited
  • 1 helpful flag
  • 204 votes cast
Apr
17
revised Need help with proof of existence of $\sqrt{2}$
added 18 characters in body
Apr
17
revised Need help with proof of existence of $\sqrt{2}$
added 252 characters in body
Apr
17
comment Need help with proof of existence of $\sqrt{2}$
I am allowing myself only the axioms for the real numbers given at the link (field axioms, etc.) I am trying to write a formal version of the proof. I "know" from experience that 2 will be an upper bound, but how to formally prove it?
Apr
17
asked Need help with proof of existence of $\sqrt{2}$
Apr
16
asked Order Axioms: '<' or '$\leq$'?
Apr
15
revised Notation for Partial Functions
added 1139 characters in body
Apr
15
revised Notation for Partial Functions
added 1139 characters in body
Apr
14
comment translating one sentence to FOL , an interview question is wrong !?
In additional to being grammatically incorrect, the given sentence is ambiguous. Does it mean that all Muslims are not privy to god. (I'm not sure what "privy to god" means.) Or does it mean that it is false that all Muslims are privy to god.
Apr
14
comment What is a good free software to draw complicated Venn diagrams?
If your aim to help visualize relationships between more than 3 sets, Venn diagrams are not very useful. See examples at en.wikipedia.org/wiki/Venn_diagram
Apr
13
comment treat Infinite as a quantity to resolve Zeno's dichotomy paradox
@GerryMyerson Yes, I completely understand the rationale. Otherwise you get situations with kooks and trolls running amok. I would not change a thing about MSE. It is a valuable resource and a constant source of inspiration for me. It would be nice, however, to have another forum for extended discussions on open ended questions, even half-baked ideas without all the flame wars and the kooks. I don't like chat. Meaningful replies take too long to formulate.
Apr
13
comment treat Infinite as a quantity to resolve Zeno's dichotomy paradox
@GerryMyerson Thought so. It's don't call us, we'll call you. And NO we don't want your phone number. :^( If your submission is not too long, it is still possible to get thoughtful critiques at the sci.math and sci.logic newsgroups available through Google at groups.google.com/forum/#!forum/sci.math and groups.google.com/forum/#!forum/sci.logic respectively. Do watch out for the kooks and trolls at sci.math. Their "discussions" do tend to dominate the group in terms of volume of postings. I have found Arturo Magidin and a few others there to be quite helpful.
Apr
12
comment treat Infinite as a quantity to resolve Zeno's dichotomy paradox
@GerryMyerson At which blogs can you post original work to be critiqued?
Apr
12
comment treat Infinite as a quantity to resolve Zeno's dichotomy paradox
The ancient Greek philosophers had no notion of measuring the speed of an object. It wasn't until Galileo several centuries later first divided distance by time to obtain a measure of speed, essentially resolving Zeno's Paradox.
Apr
11
comment Set of axioms for finite subset of Natural Numbers
I meant that I couldn't do something as simple as proving the associativity and commutativity of addition. All the conditions you have to test seemed to make it impractical if not impossible. Maybe you can find a way around this.
Apr
11
comment Classifying Types of Paradoxes: Liar's Paradox, Et Alia
My inexpert opinion: I think almost everyone can agree that "This statement is true" is meaningless nonsense. But maybe there is something to "This statement is false?" No. Changing "true" to "false" cannot suddenly imbue with meaning a statement that was originally meaningless nonsense.
Apr
10
answered Why is the negation of $A \Rightarrow B$ not $A \Rightarrow \lnot B$?
Apr
10
revised Set of axioms for finite subset of Natural Numbers
added 129 characters in body
Apr
10
revised Set of axioms for finite subset of Natural Numbers
added 129 characters in body
Apr
10
comment I need help understanding Frege's definition of number
"The content of a statement of number is an assertion about a concept?" I would be worried if you could make sense of that! If you want to do mathematics, Peano's axioms seem to be all the definition of numbers that you will need. Thankfully, definitions like Frege's here are now nothing more than historical curiosities of a bygone age.
Apr
10
revised Set of axioms for finite subset of Natural Numbers
edited body