Användare:JohanForsberg
Johan Forsberg.
Sysselsättning: Programmerare.
Intressen:
Metamatematik, matematik, logik, programmering (C/C++, Assembler, VB), filosofi, musik, metafysik och förstås en del fysik.
Det är några av mina intressen.
Jag rekommenderar er att läsa några verk av Kurt Gödel, de kanske kan omvända några till platonister. Sigmabanden är också att rekommendera för den som vill ha något att tänka på (vet dock tyvärr inte var man kan få tag på dem idag).
Språkets brister banar vägen för oklarhet i fakta, det är därför vi behöver modeller av olika slag för att uttala oss om verkligheten på ett bra sätt. Satslogik använder jag för härledningar där utsagorna är väldefinierade och där uttryck är antingen sanna eller falska. Om jag vill beteckna relationer mellan individer eller ting använder jag predikatlogik. Utan bra system kan man härleda vad som helst, hur som helst, det gillar inte logiker eftersom själva innebörden i olika ting då elimineras, "vattnas ur".
Genom korrekt språkbruk och logisk härledning når man längst (i alla fall i formella situationer). Observera att logik ibland inte tycks vara speciellt logiskt, men trots att våra sinnen ibland vacklar i oklarhet, så får vi inte ge vika för logikens glasklara budskap, att den finns oberoende av oss, och visar oss vägen till sanning.
Exempel på artiklar jag skrivit, eller medverkat i (de behöver dock wikiformateras):
Inline assembler
Klausul
Ersättningsresistans
System
Systemfel
Predikatlogik
Satslogik
Programmering
...