Bild
Rineke Verbrugge
Länkstig

Lindströmseminariet 2023: Rineke Verbrugge

Kultur & språk

Logikprofessor Rineke Verbrugge från University of Groningen är årets inbjudna föreläsare under Lindströmseminariet vid Göteborgs universitet. Välkommen till hennes föreläsning för allmänheten – Combining probability and provability logic.

Föreläsning
Datum
11 maj 2023
Tid
18:00 - 20:00
Plats
Renströmsgatan 6, sal J439

Bra att veta
Alla intresserade är välkomna. Föreläsningen är kostnadsfri. Anmäl dig i förväg till Bahareh Afshari.
Arrangör
Institutionen för filosofi, lingvistik och vetenskapsteori

Sammanfattning av hennes ämne för dagen finns på den engelska sidversionen. "Provability logic was one of the main interests of Per Lindström. In this talk, we prove zero-one laws for provability logic with respect to both model and frame validity."

Mer om Lindströmseminariet

Forskningsseminarium | Research lecture: Friday, 12 May at 10-12, room J439: Aspects of provability and interpretability

Rineke Verbrugge, Professor of Logic and Cognition,  Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence, University of Groningen.

Institutionen för filosofi, lingvistik och vetenskapsteori anordnar sedan 2013 The Lindström Lectures till minne av Pelle Lindström, som var verksam som professor i logik.