Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians

From: "george" <greeneg@xxxxxxxxxx>
Date: 23 May 2005 01:08:27 -0700

HERC777 wrote:
>
> OK, I choose the axioms of the programming language Haskell.

NO, YOU DON'T, DUMBASS.
Haskell DOESN'T HAVE axioms.
Haskell IS A PROGRAMMING LANGUAGE.
IT HAS *SYNTAX*. PERIOD.
BECAUSE it is a language.

Jeezus.

> If you can't inspect the set in Haskell its a load of crap,

SEZ WHO? You certainly can NOT find ANY "axiom of Haskell"
that says THAT! Haskell DOES NOT even HAVE sets ANYway!

.

Follow-Ups:
- Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians
  - From: The Ghost In The Machine
- Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians
  - From: HERC777

References:
- Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians
  - From: george
- Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians
  - From: HERC777
- Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians
  - From: george
- Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians
  - From: HERC777

Prev by Date: Re: PROOF of an inconsistency with Cantor's diagonal proof
Next by Date: Re: A new Arithmetic Principle?
Previous by thread: Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians
Next by thread: Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians
Index(es):
- Date
- Thread

Relevant Pages

Re: Case sensitive languages
... > Are there any benefits inherent in a programming language ... In Haskell, variables and type variables are always written starting ... with lowercase, and type constructurs, data constructors, module names ... In SML variables and "data constructors" can ...
(comp.programming)
The Q Programming Language can do symbolic manipulation -- Haskell?
... The Q Programming Language can do symbolic manipulation -- Haskell? ... sqr X = X*X ...
(comp.lang.functional)
Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians
... I choose the axioms of the programming language Haskell. ...
(sci.logic)
Re: what are these langs?
... > Err, where I'm from, Haskell is a functional programming language. ... > statically typed successor/improvement for Prolog) also has functions, ... Prolog is an impure logic programming language (a procedural language ...
(comp.programming)
Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians
... > It's a functional language. ... > "de facto axioms". ... > if we are discussing Haskell and computing paradigms. ... In this context, all tokens are ...
(sci.logic)