Cart
[Home] [By Thread] [By Date] [Recent Entries]
At 07:27 PM 8/26/2003, pop3 wrote: >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.... I have no idea what you are trying to say here. XML is a data format. It is not a programming language, was not designed to be a programming language, and has never claimed to be a programming language. The XML community knows that, and is not surprised by that fact, so your rant on this topic seems a bit odd. Math seems irrelevant here - I am not aware of formal methods being used to show whether or not something is a programming language, though they are often used to demonstrate various properties of a programming language. Or of a data representation, for that matter. Do you have a specific mathematical question about the properties of XML? Jonathan
|
