Ludics: diferenças entre revisões

 

Na [[Teoria da Prova]], '''Ludics''' é uma análise dos princípios que controlam as regras da [[lógica matemática]]. As principais características do Ludics são a noção de conectivos compostos usando uma técnica conhecida como '''“focalização”''' (inventada pelo cientista da computação [[Jean-Marc Andreoli]]), e seu uso de ''locais'' ou ''loci'' sobre uma base ao invés de proposições.