LLMs (large language models) don’t do formal reasoning - and that is a HUGE problem. #AIgarymarcus.substack.com/p/llms-dont-...
Important new study from Apple
Es una elección. Partiendo de que la lógica formal es un ideal, aceptando que el mundo funciona a su manera, y que la peña se hace trampas para justificar sus historias, defiendo el uso de la lógica formal en todo lo posible y señalar las falacias en las pretendidas inferencias que me encuentre.
We're sharing a good game! Let's play Blackpink Formal Dance Party, it's great! Here: darkcat.games/game/blackpi...#gameplay#games
Aunque mis post original iba en el sentido que defiendes, si lo piensas decir que no merma la lógica formal puede interpretarse que es la forma especial de elegir no ser tan gilipollas y puedo ser de tu club de vez en cuando, pero es ingenuo.
Dentro de la lógica formal también tienes que elegir tu sistema. Y eso también es una elección subjetiva que te puede solucionar cosas o complicártelas. Y no siempre estuvieron esas elecciones para los ingenuos (no)gilipollas (pobre Hilbert)... Incluso tu tercio excluso es una elección. Aunque
La lógica formal es sólida. La lógica difusa, el teorema de incompletitud y otros hallazgos no suponen mermas a la lógica formal. El uso vulgar del concepto de "lógica" para justificar idas de olla es lo que socava el concepto original. Una pena.
Lo común quizá...pero es que en la propia lógica formal uno se encuentra con problemas que han abierto nuevos frentes y esa propia lógica formal, que antaño parecía un sólido castillo inamovible bien cimentado se deshace con la marea de nuevos gilipollas que eligen, quizá por un momento, no serlo.
There was a process proposed by Russell Means for the legal deconstruction of the US as a colonial construct. It would begin with the Oceti Sakowin asking for and receiving international recognition for formal treaty termination. This was why I studied international law two decades ago.
Sinceramente eu só to sendo formal nos posts pq aq em casa a luz só piscou, se tivesse na situação dos paulistas pode apostar q o bluesky já tinha banido meu ip de tanto xingo