Vet egentligen inte, men det låter som om det skulle betyda "matematik om matematiken".
Frågan#1
Jag har hört talas om meta-matematik men har ingen aning om vad det är.
Så kan någon förklara för mig vad det är för något? :q
meta-matematik
5 svar · 438 visningar · startad av ampy
Om jag inte misstar mig - vilket det finns all chans att jag gör - är det precis som UlfT säger "matematik om matematik", d.v.s. matematisk bevisföring och sådant. hypatia?
Metamatematik=hypatia ;)
Metamatematik är satser (kanske t.o.m. filosofier) som behandlar de normala begreppen som beskriver matematisk verksamhet. Inte för jag vet om någon blev klokare av detta men om jag inte minns fel så är Gödels satser "ofullständighetssats" och fullständighetssats" typexempel på nämnda metamatematik.
Men detta måste hypatia kunna på sina tio fingrar, så vänta på facit för detta kan hon nog inte låta bli att förklara för oss lekmän. :p
Ni vet ju redan vad det är... ;)
Visst är det som ni säger att metamatematik handlar om påståenden om matematiken.
Ett påstående inom matematiken är t.ex. "Det finns oändligt många primtal". Satsen går att bevisa utifrån matematikens axiom.
Ett metamatematiskt påstående är ett påstående om matematiken själv, t.ex. "De matematiska teorierna är motsägelsefria".
Så himla orättvist att "meta-" framför "matematik" ger en seriös innebörd men en flummig före "fysik". :l