What is the bounded functional interpretation?
Mathematical Logic Webinar, por Fernando Ferreira (Universidade de Lisboa - CMAFcIO).
Lógica
NeoRussellian Logicism
Mathematical Logic Webinar, por Bruno Jacinto (Universidade de Lisboa) e José Mestre (Stirling (SASP) e LanCog (Lisboa)).
Quantified Reflection Calculus with one modality
Webinar de Lógica Matemática, por Ana Borges (Universidade de Barcelona).
Arithmetical Numeral Completeness
Speaker: Paulo Guilherme Santos (Departamento de Matemática - Universidade Nova de Lisboa).
Abstract: In this talk, we will present a form of completeness for numerals that holds for Peano Arithmetic. We will establish relationships between this result and a weak version of an initial form of Hilbert's Program.
Some recent developments in proof mining
Speaker: Ulrich Kohlenbach (Department of Mathematics - Technische Universität Darmstadt).
A nonstandard model for linear systems with uncertainties
Speaker: Imme van den Berg (CIMA, Universidade de Évora).
A journey through Krivine realizability (Part II)
Speaker: Étienne Miquey (École Normale Supérieure de Lyon).
A journey through Krivine realizability
Speaker: Étienne Miquey (École Normale Supérieure de Lyon).
What is Truth?
Speaker: António Marques Fernandes (Instituto Superior Técnico - Universidade de Lisboa).
Zoom Meeting | Meeting ID: 890 8479 3299 | Password: 409604
Short introduction by example to Coq
Speaker: Jaime Gaspar (Centro de Matemática e Aplicações - CMA, FCT, UNL).
Páginas
- « primeira
- ‹ anterior
- …
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- …
- seguinte ›
- última »