Bedste svar
Vi kan sikkerhedskopiere en smule. Der er et helt område med matematik kalder matematikens filosofi. Matematikfilosofi . Dette er studiet af, hvordan forskellige mennesker ser grundlaget for matematik.
Oven i dette er der to sprog: metalsproget og objektet sprog. Metalsproget er det sprog, vi bruger til at tale om objektets sprog. Calculus er et objektsprog, og det naturlige sprog er metalsproget for calculus. Teoretisk matematik bruger sin tid på at opbygge objektsproget og etablere det ved tingene i metasproget.
For at sætte det mere almindeligt: metalsproget er, hvor bevisene på objektets sprog ligger.
Svar
Du ved, at du laver teoretisk matematik ved hjælp af den læste lærebog, kvaliteten af din korrekturskrivning og din professors forelæsninger.
Det siges simpelthen, du lave teoretisk matematik, når din professor henviser til definitioner eller afledninger som teori. Du kan fortælle dig, at du laver teoretisk matematik, når kandidatbogen handler om teori. Du ved, at du laver teoretisk matematik, når dit skriftlige bevis er optaget af dygtige matematikere.
Jeg siger dette i en daglig tale, at min professor laver teoretisk matematik ved den måde, han taler om teorerne og resultaterne fra fortidens matematikere og anvender dem til at nå sit mål. Han taler om vigtige figurer som kolleger. Han gør teori i matematik.