Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

The Lindström Lectures 2018

The Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg launched a lecture series in 2013 to celebrate the singular achievements of Pelle Lindström, former professor of logic at the department (in the photo).

Annually, a distinguished logician is invited to deliver a general lecture to the public, and a specialized presentation at the logic seminar.

We are proud to announce that the 2018 Lindström Lectures will be delivered by Michael Rathjen.

Michael Rathjen is Professor of Pure Mathematics at University of Leeds. He obtained his Ph.D. (1988) and Habilitation (1992) at University of Münster. Rathjen is renown for his fundamental contributions to Proof Theory, especially cut elimination for infinitary proof systems, ordinal analysis of impredicative theories and calibration of set-existence strength of combinatorial principles. He has also carried out penetrating investigations in intuitionistic and constructive mathematics, including Martin-Löf type theory.

Public Lecture of Michael Rathjen

Progressions of theories and slow consistency

  • Monday, 11th June, 2018
  • 18:00–20:00 at Eklandagatan 86, room TBA.

Abstract: The fact that “natural” theories, i.e. theories which have something like an ‘idea’ to them, are almost always linearly ordered with regard to logical strength has been called one of the great mysteries of the foundation of mathematics. Using paradoxical methods, e.g. self-reference Rosser-style, one can distill theories with incomparable logical strengths and show that the degree structure of logical strengths is dense in that between two theories S<T one can always find a third Q such that S<Q<T. But are there ‘natural’ examples of such phenomena? We also know how to produce a stronger theory by adding the consistency of the theory. Can we get a stronger theory by adding something weaker than consistency that is still “natural”? These and other questions will be broached in the talk.

Research Lecture of Michael Rathjen

Bounds for the strength of the graph minor and the immersion theorem

  • Wednesday, 13th June, 2018
  • 10:00–12:00 at Eklandagatan 86, room TBA.

Abstract: The graph minor theorem, GM, is arguably the most important theorem of graph theory. The strength of GM exceeds that of the standard classification systems of RM known as the “big five”. The plan is to survey the current knowledge about the strength of GM and other Kruskal-like principles, presenting lower and upper bounds.

Learn more about Per (Pelle) Lindström

Contact Information

Ali Enayat

Box 200, 405 30 Göteborg

Visiting Address:
Olof Wijksgatan 6

Phone:
031-786 4573

Joan Rand Moschovakis: Intuitionistic Analysis, Forward and Backward

Yiannis Moschovakis:
Frege's sense & denotation as algorithm & value

Page Manager: Monica Havström|Last update: 6/4/2018
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?