Buscar noticias
Buscá por texto y descubrí noticias relacionadas con tu consulta.
Noticias relevantes
Hasta 10 noticias relacionadas por su significado, ordenadas por relevancia.
No encontramos noticias relacionadas por su significado.
Noticias encontradas
Coincidencias por palabras en títulos, resúmenes, temas, personas, lugares o firmas.
Resultados para «Lindheim»
Más recientes primero · Hasta 30 noticias por página
arXiv Computer Science AIPruebas sin nominales: El argumento ontológico de Gödel, su incrustación superficial y las preguntas abiertas de las Notas del Monatshefte
El texto aborda la incrustación superficial de la lógica modal de orden superior en la lógica modal de orden superior clásica, utilizando el argumento ontológico de Gödel y Scott. Se discuten las preguntas abiertas de las Notas del Monatshefte y cómo se resuelven sin nominales. Se verifica la validez de los teoremas en Isabelle/HOL y Lean 4.
Tags
Personas mencionadas