[Top] [All Lists]

Re: [ontolog-forum] Axiomatic ontology

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Wed, 6 Feb 2008 13:15:55 -0600
Message-id: <027454ED-A087-4111-A14D-8EEA09FB34EC@xxxxxxxx>
On Feb 6, 2008, at 6:41 AM, Avril Styrman wrote:
> Chris,
> I'll have to explain the background a little. The overall mathematical
> ideology that I'm holding is finitism, and I argue that finitism is  
> not just
> an alternative to platonism and transfinitism, no more than slavery  
> is an
> alternative to freedom. Slavery is wrong, and so is uncontrolled  
> platonism.
> The reason for this is that it is better for the human kind to throw  
> away
> the abracadabraic things from mathematics. And that's a good enough
> justification for finitism.    (01)

Ah, I see, well, you are clearly more interested in ideology than  
mathematics or knowledge engineering, and that is not something that  
ought to be debated in this forum.  You might try your luck on the  
USENET groups sci.logic and sci.math, where actual mathematicians  
entertain themselves arguing with extremists, ideologues, and assorted  
crackpots who believe that there are deep logical or conceptual flaws  
in classical mathematics.  Just for the record, I do think the sort of  
"strict" finitism (a.k.a. "ultra-intuitionism") you appear to be  
advocating is an interesting philosophical ideology, though only when  
argued by those who have a deep understanding of classical mathematics  
(e.g., Alexander Yessenin-Volpin, David Isles).    (02)

Regards,    (03)

-chris    (04)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (05)

<Prev in Thread] Current Thread [Next in Thread>