Vicious Circles, Fixpoints and Co-algebra

Event details

When

May 19, 2015
from 05:30 PM to 06:30 PM

Where

Ken Edwards Building,Lecture Theatre 1

Contact Name

Contact Phone

0116 252 2320

Add event to calendar

Professor Alexander Kurz

Department of Computer Science

Lecture Summary

A well-structured argument proceeds from clearly stated assumptions, using carefully chosen reasoning steps, in orderly fashion to a conclusion. Circular reasoning, or begging the question, is a logical fallacy. This lecture will show that, nevertheless, circular reasoning can be perfectly valid. Moreover, a deep connection of this logical phenomenon with computational processes will be revealed.

 

Share this page:

Time and place

Please check the start time and location of any lecture you want to attend as these vary.

Campus maps

Contact

If you have any queries about any of these events, please contact inaugural@le.ac.uk