>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?
I don't care.Practical uses for mathematics: ?Count my fries and add some extra?
>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 bicycleThat 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
>>16482471All of itComputers are big calculators
>>16482522fpbp
>>16483220>math is about calculating kek what an engineerlet thing to say
>>16486266pick up a "pure" math book at random and see how many subjects involve mundane calculations
predicative constructive maths is best mathsclassical maths is the dark ages of maths
>>16486337ZF + 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 statementsWhen did /sci understood that set theory plus the axiom of global choice were the real *constructive* mathematics?
>>16486266>math isnt about calculatingwhat a christ cuck thing to say
>>16482522basedfuck acedmics
