En la teoría de la prueba, el ludics es un análisis de los principios que gobiernan reglas de inferencia de la lógica matemática . Las características dominantes del ludics son su noción de conectadores compuestos usar una técnica conocida como que enfoca o la focalización del (inventado por el Jean-Marc Andreoli del informático), y su uso de las localizaciones del o de los lugares geométricos del sobre una base en vez de asuntos.

Más exacto, el ludics intenta recuperar conectadores lógicos sabidos, y comportamientos de la prueba, siguiendo el paradigma del cómputo interactivo, semejantemente a qué se hace en la semántica del juego a la cual es estrechamente vinculado. Abstrayendo la noción de fórmulas y enfocándose de sus aplicaciones concretas, ésa es ocurrencias distintas, él permite proporcionar un abstract syntax para el de informática, pues los lugares geométricos se pueden considerar como indicadores en memoria.

Ludics fue propuesto por el Jean-Yves Girard del lógico . Su Ludics de introducción de papel, solum del lugar geométrico del : de las reglas de lógica a la lógica de las reglas, tiene algunas características que se puedan considerar como excéntrico para una publicación en la lógica matemática (tal como ilustraciones de mofetas positivas). Tiene que ser observado, eso que el intento de estas características es hacer cumplir el punto de vista Jean-Yves Girard a la hora de su escritura. Y, así, ofrece a los lectores la posibilidad para entender ludics independiente de sus fondos.

Ver también

.