[
Lists Home |
Date Index |
Thread Index
]
Umm, reading Knuth got me certain that _assembler_ could be proven and had
been proven in math, from which languages like Pascal and Fortan and
Cobol and C can also be, or rather have been proven, and since Java is
just C transcendant then I feel that is also shown.
I do not feel that a markup language with patched on logic capacity can be
mathematically shown to be a programming language at all....
Just my opinion.
Larry Bradshaw
At 09:47 PM 8/25/2003 -0400, John Cowan wrote:
>pop3 scripsit:
>
> > Nor can I support folks in a CMM or ISO9000 shop
> > utilizing XML to any significant degree until they can show that XML is a
> > proven best practice, by rigorous scientific proofs.
>
>What programming language can you justify by "rigorous scientific
>[meaning mathematical?] proofs"? Scheme and Prolog, maybe.
>
>--
>A mosquito cried out in his pain, John Cowan
>"A chemist has poisoned my brain!" http://www.ccil.org/~cowan
> The cause of his sorrow http://www.reutershealth.com
> Was para-dichloro- jcowan@reutershealth.com
>Diphenyltrichloroethane. (aka DDT)
|
