Authored by: lnuss on Friday, May 10 2013 @ 07:36 PM EDT |
Are you saying that arithmetic isn't part of mathematics? That the operations
the computer does in the arithmetic and logic unit (ALU) have nothing to do with
mathematics? That Boolean Algebra isn't part of mathematics?
I'm far from a mathematician, but I've always thought the above were a part of
math, even though there is so much more.
Perhaps I've been under false impressions all these years.
---
Larry N.[ Reply to This | Parent | # ]
|
|
Authored by: kh on Friday, May 10 2013 @ 10:51 PM EDT |
Mathematica and other similar programs allow Computers to do mathematics. [ Reply to This | Parent | # ]
|
|
Authored by: coats on Saturday, May 11 2013 @ 10:09 AM EDT |
...but the essential content of Godelization is that mathematics -- proofs and
all -- can be reduced completely to arithmetic. It is true that in the process
you'll have to deal with some really bad bignums :-) [ Reply to This | Parent | # ]
|
|
Authored by: overshoot on Saturday, May 11 2013 @ 12:36 PM EDT |
There's always something that bugged me. Computers do NOT do
mathematics, they do arithmetic. There are no symbols being manipulated, only
values in memory or registers.
Read up on formal number theory.
Or for that matter any popular treatment of Goedel's Theorem.[ Reply to This | Parent | # ]
|
|
Authored by: Anonymous on Saturday, May 11 2013 @ 03:57 PM EDT |
Everything else is simulated using that.
Including arithmetic. Computers actually can't do all the computations of Peano
arithmetic (memory limitations), but then neither can humans....
Yes, Boolean logic is a type of mathematics.[ Reply to This | Parent | # ]
|
|
Authored by: Anonomous on Sunday, May 12 2013 @ 06:57 PM EDT |
I'm a professional developer doing driver level development for over 20
years, currently for a top ten semiconductor company.
I thought there
were only nine top semiconductor companies (gdravvf).
-Wang-Lo.
[ Reply to This | Parent | # ]
|
|