BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20170219T020000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0300
TZOFFSETTO:-0200
TZNAME:-02
DTSTART:20171015T030000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20180218T020000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0300
TZOFFSETTO:-0200
TZNAME:-02
DTSTART:20181104T030000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20190217T020000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20181214T190000
DTEND;TZID=America/Sao_Paulo:20181214T200000
DTSTAMP:20260618T113417
CREATED:20181210T122159Z
LAST-MODIFIED:20181212T121436Z
UID:4578-1544814000-1544817600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Guillermo Mosse
DESCRIPTION:Título: Una matrioshka de notaciones de ordinales\nDirector: Santiago Figueira\nJurado: Pedro Sánchez Terraf y Alejandro Petrovich\nResumen:\n\nLos objetos matemáticos llamados ordinales pueden ser vistos como una extensión transfinita de los números naturales\, es decir\, del proceso de contar. Un ejemplo de esto es el caso de las teorías axiomáticas que extienden a la aritmética de Peano\, en la que se mide el «poder computacional» de ellas usando ordinales.\nLas técnicas utilizadas en esta rama de la matemática (Ordinal Analysis) provocan que para calcular el ordinal correspondiente a una teoría se necesite disponer de una notación para todos los ordinales menores que éste. Sin embargo\, es imposible dar una notación para todos los ordinales (numerables); ni siquiera hay una manera sistemática de definir notaciones progresivamente más extensas.\nEn esta tesis presentamos notaciones que utilizan distintas técnicas para ser construidas\, y discutimos las relaciones entre éstas y Ordinal Analysis.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-guillermo-mosse/
LOCATION:Aula 3
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR