Om matematik är logik, hur kan det komma sig att så många har svårt för det?

Tja, kanske axiom? Vad har religion med saken att göra?

Frege gjorde ett jättejobb för att grunda matematiken i logiken, men Russel skrev ett brev till honom där han förklarade att han kommit på en paradox som verkade svårlöst. Frege insåg genast att paradoxen punkterade hans livsverk, men Russel gjorde sedemera allt för att rädda Freges logicism. In på scen stiger Gödel, och efter hans ofullständighetsteorem så har man nog lagt ner logicismen.

Nåja:"Kurt Gödel's incompleteness theorem is sometimes alleged to undermine logicism because it shows that no particular axiomatization of mathematics can decide all statements. However, the basic spirit of logicism remains valid, as that theorem is proved with logic just like other theorems."

Detta kan även vara av intresse:" Neo-logicism describes a range of views claiming to be the successor of the original logicist program.[30] More narrowly, it is defined as attempts to resurrect Frege's programme through the use of Hume's Principle.[31] This kind of neo-logicism is often referred to as neo-Fregeanism. Two of the major proponents of neo-logicism are Crispin Wright and Bob Hale."[32] http://en.wikipedia.org/wiki/Logicis...archy_of_types

Enligt mig sänkte Benaceraff logicismen för gott, men alla har ju rätt till en åsikt.

Det svänger snabbt. Nu är det helt plötsligt Beneceraff, innan hete det Gödel.

Slynor. Logik är matematik, och matematik är logik. Det ska stå på min gravsten.

Var detta ett skämt?

Nej. Jag tillskriver mig logicismen i någon form.

Jag menade det du skrev om att jag svängde snabbt.

ja matte är logiskt men man behöver för kunskap annars är det svårt .

exempel ja är dyslektiker och har svårt att stava för att det är en bristande logik , jag vill skriva som det låter men med kunskap om hur det ska vara med hjälp av repetitions inlärning och regler går det bra , logiken hjälper mig inte mycket med detta .
däremot matte har jag väldigt lät för eftersom jag kan en grund i detta och kan utgå logiskt från detta ,

det är nog bara hur våra synapser är kopplade om vi har lät för det ena eller det andra , tex jag tänker i bilder när jag vill minas eller tänka ut något .

skulle vara intressant att läsa hur någon beskriver att dom har lät med stavning och svårt med matte.

Googla axiom.... Du är på min sida utan att själv veta om det.


Du skiftade mellan dina auktoriteter!!

Nej

Ugh. Jag vet vad axiom är och jag vet att de inte bygger på vare sig logik eller religion.

Edit: Alltså, inte logik i avseendet "Om P så Q. P. Därför Q."