Citat:
Ursprungligen postat av
Stigtew
Inom matematiken vet vi tex hur man avgör problemet ”Är naturliga talet x en perfekt kvadrat?” Då är det bara att kvadrera alla positiva heltal från 0 och uppåt tills man nåt en kvadrat större än eller lika med x. Är den lika med x är x en perfekt kvadrat, annars inte.
Men det finns många viktiga problem som vi ännu inte vet hur de ska lösas. Tex P vs NP. Varför vet vi inte hur vissa problem ska besvaras?
Bra fråga! Jag skulle nog svara någonting i stil med detta, men jag har alltså ingen formell utbildning i vare sig filosofi eller matematik, så med stor sannolikhet är det rent svammel:
En matematisk sanning har ju varit sant för all tid när vi väl publicerat ett bevis. Problemen uppstår dock när vi undersöker matematikens grunder. Kurt Gödel visade som bekant att det finns matematiska sanningar som aldrig går att bevisa:
Citat:
Ursprungligen postat av Wikipedia
I varje konsistent formellt system, tillräckligt för aritmetiken, finns en sann men oavgörbar formel, det vill säga en formel, som inte kan bevisas och vars negation ej heller kan bevisas.
Källa
En del saker som är sanna kan vi kanske aldrig bevisa - P vs. NP kan kanske vara ett sådant problem? Ungefär som stopprolemet:
https://en.wikipedia.org/wiki/Halting_problem