Graham Emil Leigh

Vad är sanning? Hur kan vi skilja sanna påståenden från falska? Hur kan vi lita på sanningen? Dessa frågor har förbryllat logiker och filosofer sedan antiken. Wallenberg Academy Fellow Graham Emil Leigh ska närma sig dem med moderna metoder, som drar nytta av de senaste framstegen inom matematik, filosofi och datavetenskap.

Diskussionen kring vad en sanning är går som en röd tråd genom filosofins historia. En del menar att det är relativt lätt att definiera en sanning. Utsagan ”Snön är vit” är sann om snön verkligen är vit. Påståenden som ”Broccoli är äckligt” är däremot en värdering.

Andra menar att frågan är betydligt mer komplex. Hur förhåller det sig exempelvis med vetenskapliga teorier? Är de sanna? Eller matematiska bevis? Dr Graham Emil Leigh vid Technische Universität Wien ska kasta ett nytt ljus över dessa uråldriga frågor och utforska sanningsbegreppet med hjälp av datavetenskapliga metoder. I ett tvärvetenskapligt arbete kommer han väva samman datorvetenskap med filosofi och matematisk bevisföring. Slutsatser från ett område ska fungera som språngbräda till nya slutsatser inom de andra områdena. Förutom att bidra till allmänna filosofiska problemställningar, har han som mål att utveckla nya metoder för matematisk bevisning och för att verifiera algoritmer inom programmering. Det senare kan bland annat användas för att bevisa att kritiska säkerhetssystem, till exempel datasystem för trafikledning av flyg och tåg, är riktigt konstruerade och därmed tillförlitliga. Som Wallenberg Academy Fellow kommer han att bedriva sin forskning vid Göteborgs universitet.

 Foto: Markus Marcetic