Archivo de la etiqueta 'uba'

De máquinas que tiran monedas y chistes que sólo el 10% del auditorio pudo entender: mi primer ponencia

El miércoles 19 de octubre de 2011 presenté una ponencia sobre computabilidad, aleatoriedad y su posible relación con la Tesis de Church-Turing Física, en el marco de las I Jornadas de Estudiantes de Filosofía de la Facultad de Filosofía y Letras de la UBA.

La ponencia fue presentada en una mesa de Lógica y Filosofía del Lenguaje.

Abstract
«Adam Olszewski (1999) propone que la Tesis de Church-Turing puede ser usada para refutar el platonismo matemático1. Para ello postula una máquina que al lanzar una moneda define una función que “computa el valor (0 o 1) para la moneda n que se haya lanzado” y dice que dicha función es efectivamente computable pero no Turing-computable.

Entonces, dado que según el platonismo matemático (PM), toda función de enteros positivos a enteros positivos ya existe, existiría una función efectivamente computable pero no Turing-computable (computable por una máquina de Turing).

Esto contradice a la Tesis de Church-Turing (CT) que dice que toda función efectivamente computable es Turing-computable. Por contraposición, si CT es verdadera, entonces PM es falso. Rafał Urbaniak (2011) critica este argumento desafiando la afirmación de que lo que esta máquina de hecho realiza sea una computación. Revisaré dicha crítica y detallaré algunos puntos de la misma. Además introduciré la noción de Tesis de Church-Turing Física.»

Se trató de mi primer experiencia frente a un público afín a las cuestiones que estaba tratando. Sin duda lo disfruté mucho.

Empezaré a trabajar en un tema nuevo para presentarlo.

.-

la realidad tiene que haber sido un problema

Y es obvio que para alguien que se decida a hacer filosofía (como ustedes) la realidad tiene que haber sido un problema, porque sino no estarían acá. — Lucas Soares (Profesor de Filosofía Antigua)

(tomado de un teórico de historia de la filosofía antigua)

.-

richard stallman en la facultad de ciencias sociales – uba

ejemplo paradigmático de la ética hacker,
el viernes pude asistir a una charla de richard stallman.

join us now and share the software
you’ll be free, hackers, you’ll be free
join us now and share the software,
you’ll be free, hackers, you’ll be free.

.-

primer día de mi carrera como filósofo

De alguna manera puede que no sea del todo correcto el título que elegí. Después de todo no creo que pueda seleccionar con tanta precisión una fecha en particular para indicar cuando comenzó mi carrera como filósofo, si de hecho existe alguna carrera en absoluto, pero hoy es el primer día que cursaré como estudiante de la carrera en la Universidad de Buenos Aires. Después de dos años desde mi ingreso oficial a la institución, con un pequeño y un tanto patético paso por el CBC (o Ciclo Básico Común) de Física que apenas si llegó a durar un cuatrimestre. Con renovada motivación, durante el 2009 cursé satisfactoriamente el CBC de Filosofía aprobando la mayoría de materias con buenas calificaciones.

Mi día comenzará a las 3 de la tarde con el curso de francés. Para recibirme tendré que tener los tres niveles de al menos dos lenguas modernas. En mi caso creo que rendiré libre todo lo que pueda de inglés y estudiar francés. Luego tengo el primer teórico de mi carrera, Historia de la Filosofía Antigua, que aunque dura 4 horas (de 5 de la tarde a las 9), a partir de las 7 comienza el teórico de Lógica, por lo que tendré que dejar el aula a la mitad e irme a la otra clase. El asunto con los teóricos es que aunque no toman asistencia son clases únicas, no tienen varios horarios y proveen contenidos clave para cada materia. La ventaja es que en su mayoría son grabadas y pueden comprarse en formato escrito. Una vez que termine el teórico de lógico tendré que ir a la clase práctica de la misma materia, hasta las 11 pm.

Espero que mientras esté volviendo en el colectivo a mi casa al menos me empiece a sangrar la nariz como señal de parte de mi materia encefálica en desmedido crecimiento. Supongo que llegaré a casa y seré ocho horas más inteligente, o lo que sea.

No tengo idea de cómo haré para conseguir un trabajo que sea compatible con mis horarios, cómo haré para estudiar en el medio, en qué momento miraré Lost.

En la charla introductoria nos aconsejaron no hacer más de dos materias por cuatrimestre durante este primer año. A pesar de todo, revisando los horarios es fácil notar que sería casi imposible hacer otra cosa que no sea esa. La mayoría de los horarios se superponen, de hecho, los horarios para Filosofía Antigua y Lógica, las dos materias con las que se recomienda comenzar la carrera, tienen sus teóricos superpuestos.

Confío en que años a partir de este momento todo se vea menos complicado.

.-

primer día de (alpargatas)

.-