FRDB Archives

Freethought & Rationalism Archive

The archives are read only.


Go Back   FRDB Archives > Elsewhere > ~Elsewhere~
Welcome, Peter Kirby.
You last visited: Yesterday at 03:12 PM

 
 
Thread Tools Search this Thread
Old 04-26-2005, 03:51 PM   #21
Veteran Member
 
Join Date: Sep 2002
Location: :noitacoL
Posts: 4,679
Default

Quote:
Originally Posted by Doron Shadmi
It is all over the internet, take this http://en.wikipedia.org/wiki/List_of...cs#Foundations for example.
So you've absorbed and mastered all the subjects listed in this index?
ex-xian is offline  
Old 04-26-2005, 05:04 PM   #22
Regular Member
 
Join Date: Mar 2005
Location: USA
Posts: 346
Default

Quote:
I think stupid is probably too strong a word.
No, it was deliberately stupid.

Just making it clear that I was using that as an example. I would never myself of course actually try to make that "proof" to any serious math people.
Lemur is offline  
Old 04-27-2005, 02:02 AM   #23
Veteran Member
 
Join Date: Jun 2004
Location: Israel
Posts: 2,164
Default

Lemur,

A one rotation of the Archimedean Spiral is exactly 1/3 of the circle’s area if and only if it is a non-composed element, and so is the circle.

If the Archimedean Spiral or the circle are composed elements, then the Archimedean Spiral is not exactly 1/3 of the circle’s area.

One of these non accurate states is 0.33333... < 1/3.

Quote:
Originally Posted by Lemur
... but it seems to me that a collection of infinitely small sharp edges would become a smooth edge.
Wall, that's the whole point of my argument.

A model that is based on "infinitely many ...", is totally different from a model of "a non-composed element".

0.3333... is based on "infinitely many different scale levels" where 1/3 is based on "a non-composed element".

If you understand this post, then please re-read very carefully my first post.

Thank you.
Doron Shadmi is offline  
Old 04-27-2005, 04:40 AM   #24
Veteran Member
 
Join Date: Jun 2004
Location: Israel
Posts: 2,164
Default

Quote:
Originally Posted by ex-xian
You've cited "epsilon" as a "key word" in your abstract for Christ's sake. You're habit is to sieze on a mathematical word, redefine it, then use it. This is hardly conducive to productive dialogue.
A productive dialogue with me is based on notions, not on names, notations, or any technical manipulations with them.

If you warship names, notations and technical manipulations with them and call it actual Mathematics, then there is no and there will not be any dialogue between us.

Since this is a philosophy forum, it maybe help you to make some switch in your mind and open it to the new notions of my work, instead of being stacked time after time on the surface level of names, notations, and technical manipulations.
Doron Shadmi is offline  
Old 04-27-2005, 05:09 AM   #25
Veteran Member
 
Join Date: Sep 2002
Location: :noitacoL
Posts: 4,679
Default

Quote:
Originally Posted by Doron Shadmi
A productive dialogue with me is based on notions, not on names, notations, or any technical manipulations with them.

If you warship names, notations and technical manipulations with them and call it actual Mathematics, then there is no and there will not be any dialogue between us.

Since this is a philosophy forum, it maybe help you to make some switch in your mind and open it to the new notions of my work, instead of being stacked time after time on the surface level of names, notations, and technical manipulations.
Congratulations on again missing the point and avoiding the issue.

I asked you what fundamental concepts of Actual Mathematics that you incorporate. You cited "epsilon" as a fundamental concept and you even have "epsilon" as one of you "key words" in your "abstract." This shows terrible ignorance of how analysis is done or what use delta-epsilon proofs actually have.

You brought the word up, then, in what I quoted above, you attack me for calling you on it. I don't worship the technical language of mathematics--but I do call Bullshit when I see people like you misusing it.
ex-xian is offline  
Old 04-27-2005, 05:38 AM   #26
Veteran Member
 
Join Date: Jun 2004
Location: Israel
Posts: 2,164
Default

Quote:
Originally Posted by ex-xian
but I do call Bullshit...
Congratulations on again NOT reading my work.

Indeed this is all you can see, but it is in your yard because you are the one who permanently refuses to read my original and better interpretation about the epsilon/delta definitions, because you afraid to change your cozy common point of view.

[edited]

Quote:
Originally Posted by ex-xian
delta-epsilon proofs actually have ...
There is a fundamental conceptual mistake behind the standard delta-epsilon understanding.

My better understending of these concepts can be found in: http://www.geocities.com/complementa...ointModels.pdf
Doron Shadmi is offline  
Old 04-27-2005, 01:35 PM   #27
Veteran Member
 
Join Date: Aug 2003
Location: Berkeley, CA
Posts: 1,930
Default

This looks like it has degerated into totally unproductive personal bickering. I'm sending it to ~E~.
Kalkin is offline  
Old 04-27-2005, 01:58 PM   #28
Regular Member
 
Join Date: Mar 2005
Location: USA
Posts: 346
Default

Quote:
If you understand this post, then please re-read very carefully my first post.
I don't. Please define "non-composed". You have used that phrase in a lot of your definitions but I don't know what it means. Apparently understanding it is necessary to understand your proof that .3333<1/3. If it's a term that must necessarily deny rigorous definition (like "point" in Euclidean geometry) then please give me a good heuristic understanding of it.
Lemur is offline  
Old 04-27-2005, 02:19 PM   #29
Veteran Member
 
Join Date: Jun 2004
Location: Israel
Posts: 2,164
Default

Lemur, here is again a part of my first post:


Quote:

The foundations of Monadic Mathematics:



A scope is a marked zone where an abstract/non-abstract discussable entity can be examined.


An atom is a non-composed scope.

Examples: {} (= an empty scope), . (= a point), ._. (=a segment),
__ or .__ or __. (= an infinitely long entity).


An empty scope is a marked zone without any content.

An example: {}


A point is a non-composed and non-empty scope that has no directions where a direction is < , > or < > .

An example: .


A segment is a non-composed and non-empty scope that has directions which are closed upon themselves, or has at least two reachable edges.

An example: O , .__.

Each segment can have a unique name, which is based on its ratio to some arbitrary segment, which its name is 0_1.


An infinitely long entity is a non-composed non-empty scope which is not closed on itself and has no more than one reachable edge.

An example: __ , .__ , __.
A non-composed element is an element which is not composed of sub-elements.
Doron Shadmi is offline  
Old 04-27-2005, 03:52 PM   #30
Regular Member
 
Join Date: Mar 2005
Location: USA
Posts: 346
Default

What's an element?

What does it mean to be composed? For example, how exactly would I ascertain the truth or falsity of the statement "X is a composed element"?

Without the answer to those questions I have no idea how to evaluate the following statement:

Quote:
A one rotation of the Archimedean Spiral is exactly 1/3 of the circle’s area if and only if it is a non-composed element, and so is the circle.
or this statement

Quote:
Now we can understand that a one rotation of the Archimedean Spiral is exactly 1/3 of the circle’s area only if we are no longer in a model of infinitely many elements, but in a model that is based on smooth and non-composed elements (and in this case the elements are a one rotation of a smooth and non-composed Archimedean Spiral and a one smooth and non-composed circle).
You state this as if this is obvious when in fact it is not (assuming I understand your terminology). If what follows in the OP is a proof of this statement then I do not understand your proof.
Lemur is offline  
 

Thread Tools Search this Thread
Search this Thread:

Advanced Search

Forum Jump


All times are GMT -8. The time now is 05:12 PM.

Top

This custom BB emulates vBulletin® Version 3.8.2
Copyright ©2000 - 2015, Jelsoft Enterprises Ltd.