Logikk (og beregnbarhet)
Sammen med filosofien er logikk en av de eldste vitenskaper, og er et essensielt verktøy i alle seriøse vitenskapelige disipliner. For å forstå hva logikk virkelig dreier seg om, tyr jeg til den definisjonen jeg selv er mest enig i:
Logic is the art of non-contradictory identification. – Ayn Rand
Med dette menes mer enn hva man gjerne anser logikk som i dag; kun et gitt formelt verktøy benyttet i gitte passende settinger. Her menes logikk som selve byggesteinen i alle metoder, alle målrettete serier av handlinger. Logikk identifiserer alle bevisste handlinger som kreves for å oppnå korrekt informasjon. Herunder inkludert de uttrykk og slutningsregler folk flest i dag anser som logikk.
Personlig kommer min kjennskap til logikk gjennom studier innen filosofi og informatikk, de to vitenskaper som har hatt mest å si for hvilke logiske systemer og tenkemåter som benyttes i dag.
xkcd
Semesteroppgave(r) og notater
Gödel's first theorem of incompleteness and the limits of formal systems
Semesteroppgave fra INF5800 - Emner i logikk. Jeg argumenterer for at begrensninger i formelle systemer ikke betyr begrensninger i vår forståelse av virkeligheten (slik noen argumenterer for).
En intuisjon bak sekventkalkylen (pdf)
Mine notater om hvorfor reglene for kvantorene i logiske kalkyler ser ut som de gjør. Jeg kan ikke gå god for at innholdet er formelt korrekt, men håper notatet kan være til hjelp.
Notater i beregnbarhet
Siden vi har lært om logikk og beregnbarhet i det samme kurset, INF1800 - Logikk og beregnbarhet, plasserer jeg link til disse notater her.
Fra endelig tilstandsautomat til regulært uttrykk (pdf)
Pumpelemma for regulære språk (pdf)
Nyttige lenker?
Philosophy and Fun of Algebra av Mary Everest Boole
Kona til den mer kjente George Bool (han som lagde {true, false} blant annet), skrev denne boken om algebra. Selv om hun kommer med en del filosofiske påstander ikke alle nødvendigvis er enige i (meg selv inkludert), vil jeg hevde at denne boken gir en klar forståelse av enkelte elementer innnen abstrakt tenkning og algebra. Leses på eget ansvar.