🧵 Computers in math
Anonymous at Tue, 19 Nov 2024 16:07:07 UTC No. 16482471
>Within the last few years, however, computers have had a noticeable impact in the field of pure mathematics. This may be the result of the arrival of a generation of mathematicians who learned computer programming in highschool and to whom a computer terminal is as familiar as a telephone or a bicycle. One begins to see a change in mathematical research. There is greater interest in constructive and algorithmic results, and decreasing interest in purely existential or dialectical results that have little or no computational meaning. (See Chapter 4 for further discussion of these issues.) The fact that computers are available affects mathematics by luring mathematicians to move in directions where the computer can play a part. Nevertheless, it is true, even today, that most mathematical research is carried on without any actual or potential use of computers. - James Davis (1981)
What percentage of mathematical research is done with computers nowadays?
Anonymous at Tue, 19 Nov 2024 16:24:35 UTC No. 16482522
I don't care.
Practical uses for mathematics: ?
Count my fries and add some extra?
Anonymous at Tue, 19 Nov 2024 20:50:29 UTC No. 16483162
>This may be the result of the arrival of a generation of mathematicians who learned computer programming in highschool and to whom a computer terminal is as familiar as a telephone or a bicycle
That doesn't seem too likely in 1981, computers were expensive equipments. But I've met a few hackers who'd used computer in that era to learn programming in assembly. They later on started making fun intros for the c64 and Amiga
They probably weren't good mathematicians but they used lots of trig functions in their demos
Anonymous at Tue, 19 Nov 2024 21:05:55 UTC No. 16483220
>>16482471
All of it
Computers are big calculators
Anonymous at Wed, 20 Nov 2024 11:55:51 UTC No. 16486218
>>16482522
fpbp
Anonymous at Wed, 20 Nov 2024 12:51:17 UTC No. 16486266
>>16483220
>math is about calculating
kek what an engineerlet thing to say
Anonymous at Wed, 20 Nov 2024 13:13:41 UTC No. 16486299
>>16486266
pick up a "pure" math book at random and see how many subjects involve mundane calculations
Anonymous at Wed, 20 Nov 2024 13:44:28 UTC No. 16486337
predicative constructive maths is best maths
classical maths is the dark ages of maths
Anonymous at Wed, 20 Nov 2024 14:00:19 UTC No. 16486357
>>16486337
ZF + V = L is the real constructive math
>has an expliit global choice function
>hence everything is onstructive
>no "types" or whatever
>the definition of equality is straightforward; no incomprehensible "homotopy" phenomenon that breaks computer programs
>the class L can be built in any universe satisfying mere ZF, and L satisfy automatically ZF + V=L and proves exactly the same arithmetical statements
When did /sci understood that set theory plus the axiom of global choice were the real *constructive* mathematics?
Anonymous at Thu, 21 Nov 2024 01:46:06 UTC No. 16487354
>>16486266
>math isnt about calculating
what a christ cuck thing to say
Anonymous at Thu, 21 Nov 2024 02:19:17 UTC No. 16487399
>>16482522
based
fuck acedmics