News

String diagrams in knot theory and proof theory: an introduction

Lunedi' 14 Marzo 2011 - Dr. Paul Mellies

ARGOMENTI: Seminari

Lunedi' 14 marzo ore 11.30 in aula 2BC30 il Dr. Paul Mellies (Laboratoire PPS, Université Paris 7) terra' un seminario introduttivo dal titolo "String diagrams in knot theory and proof theory: an introduction".

-Abstract
In this introductory talk, I will describe how string diagrams are used in knot theory in order to compute topological invariants, as well as in proof theory in order to compute proofs (or programs) modulo symbolic execution. The talk will be illustrated by tensorial logic, a primitive logic of tensor and negation, whose proofs are depicted as 2-dimensional surfaces formulated in the relevant 3-categorical framework.

Rif. int. M.E. Maietti

NEWS: New Second Level Degree in Data Science - Second cycle degree - a. y. 2017/18 X