finns ljud?
> Fel ditt ignoranta vacuum!
Förolämpningar klarar jag mig utan.
Öhh, tja, ok, jag formulerade mig lite hastigt och lustigt där kanske.... Om det alltså ska vara pilligt och petigt, och om vi formulerar det såhär istället så kanske det blir bättre?:
Alla axiomatiska system som hävdar att dom är "fullständiga" är dömda att innehålla motsägelser. Du säger att matematikens lagar är absoluta och sanna. Visst, det gäller alltså så länge man begränsar deras användning, och det tycker åtminstone jag strider mot den intuitiva betydelse man lägger i orden "absolut" och "fullständig".
Eftersom matematiken inte får någon mening i sig så länge den inte används till något, t.ex. att beskriva ett skeende i den fysiska världen, så är strävan efter fullständighet inte en faktor som kan ignoreras.
Det finns alltså ett motsatt förhållande mellan fullständighet och användbarhet. Min poäng var alltså inte att axiomatiska system blir värdelösa pga Gödels Teorem. Det jag egentligen reagerade på var ditt påstående att vi inte bara vet att vi tänker, utan att vi dessutom skulle veta att vi tänker "rätt". Dvs att vi skulle _veta_, på något slags objektivt sätt att den matematik vi begagnar oss av är helt korrekt. Sen är det ju en annan sak att man kanske rent praktiskt beslutar sig för att lägga en viss tilltro till sina egna tankar. Något alternativ till det har vi ju inte...
/Mats