Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Mathematics is shit

Name: Anonymous 2012-01-09 1:19

Just look at these ugly swatches of code:
http://www.cse.unt.edu/~idl99/Proceedings/ahn/img50.gif
http://www.cse.unt.edu/~idl99/Proceedings/ahn/node8.html

That is what you get, when programming immitates math. Even Java and PHP looks beautiful compared to that. Mathematics should be banned as a harmful and obfuscated teaching.

Name: Anonymous 2012-01-09 14:18

Mathematics /is/ about real-world structures, that is what mathematicians do, they define a universe and put the objects into it and declare themselves to have seen some godlike properties despite declaring in advance what'll happen.
They are idealized structures which soon end up being far divorced from what is physically computable (but not divorced from what is effectively computable, or Turing computable).
They can't CONCEIVE of a thought that has no label, no name, no representation other than it's relations.
Use gensyms, graphs or whatever you wish.
In NO mathematical axiomatic methods, proofs, anything, do you have things like 1. An unbounded space 2. there is NOT, AND, NOR, and they can feed into eachother. 3. There is time.
1. Most proofs that I've seen have unbounded spaces or domains. Most proofs in arithmetic are done over natural numbers, which are unbounded.
2. You can define in relations in terms of each other. As far as logic is concerned, you don't really need all 3 of those. A NAND or NOR is sufficient.
3. Time is useful as far as describing computations, but it can always be abstracted away as a relationship between states. f:N->N, f computable, f(time)=state. Possible recursive definition: f(0)=initial_state. g:N->N, g computable, f(n)=g(f(n-1)), where g just describes how to compute the next state given the current state. Want to know what g's implementation would be like? Take a look at a Turing machine or Primitive Recursion Functions/Primitive Recursive Arithmetic.
good job taking one quote of someone out of context and being retarded to the rest of the thread.
I only answered it once, well, twice now, counting your answer, probably again out-of-context.

Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List