Pensando en voz alta: Lo que dijo Gödel
-
Upload
antonio-rulo-kobashikawa -
Category
Technology
-
view
458 -
download
0
Transcript of Pensando en voz alta: Lo que dijo Gödel
Lo que dijo Gödel
pensando en voz alta
En la lógica matemática se considera el concepto de preposición
Una preposición es una afirmación
Una función lógica permite derivar una preposición a partir de otras
A las preposiciones que no pueden derivarse de otras se les llama axiomas
En disciplinas como la Geometría, se ha construido una estructura de preposiciones derivada de un grupo de
axiomas.
Gödel nos dice que en un sistema así hay más preposiciones que no se pueden derivar.
Quizás podamos incorporarlas agregando algo
Pero siempre será posible encontrar más preposiciones que no se pueden derivar.
Para algunos, el universo puede ser considerado formado de preposiciones.
Gödel, dice que siempre sera posible encontrar algunas que no podamos derivar.
ahora, esto me recuerda a los números
En matemáticas se considera el concepto de número
Un número es una cantidad
Una función permite derivar un número a patir de otros.
Por ejemplo, todos los números naturales se pueden derivar a partir del cero y la función +1.
Para derivar los enteros negativos podemos agregar la función -1.
Para derivar los números fraccionarios podemos usar la funcion x a/b
Se considera que hay números que no se pueden expresar con funciones que usen sólo +, -, x, o /
Números como sen(x), sqrt(2), e y pi se pueden aproximar con fracciones.
También con fracciones contínuas...
Las aproximaciones sucesivas son necesarias porque estas funciones
son estáticas.
Una función dinámica permite derivar un número a patir de
otros...
... pero la entrada seleccionada va variando según un patrón
determinado.
Como en las series infinitas y las fracciones continuas.
Las funciones dinámicas podrían ayudar a derivar todos los números sin agregar más operaciones.
Una idea similar se podría aplicar a las funciones lógicas?