I dette foredraget vil vi gjennom den kjente konteksten Sudoku utforske naturen til bevis i matematikken. Matematisk logikk tilbyr en streng og elegant måte å analysere Sudokuer, og ved å bruke logiske prinsipper og deduksjon kan man bevise egenskaper ved et Sudokubrett som kan gi opphav til mer interessante gåter. På den andre siden kan man også bruke “brute force”-beregninger for å analysere Sudokuer. Ved systematisk å prøve alle mulige kombinasjoner av tall, kan datamaskiner svare på spørsmål om unikhet ved løsninger eller det minste antallet låste ruter som kreves for et gyldig spill.
Disse ulike tilnærmingene reiser spennende spørsmål om bevisets natur og beregningens rolle i matematikk. Er det en iboende skjønnhet i den logiske elegansen til matematiske bevis? Kan “brute force”-beregninger betraktes som gyldige bevis, eller gir de bare bevis uten samme grad av sikkerhet? Og er det mer til et bevis enn bare å vite med sikkerhet svaret på et spørsmål?
Laertis Vaso er post doktor i matematikk på NTNU.
