Resultats de la busca

¡Crea la pàgina "Luitzen Egbertus Jan Brouwer" en L'Enciclopèdia en valencià!

• Llògica intuicionista
  …[[Intuïcionisme|proyecte intuicionista]] de [[Luitzen Egbertus Jan Brouwer|Brouwer]]. El sistema emfatisa les proves, en contes de la veritat, a lo llarc de… …, pero conserva el [[principi d'explosió]]. Açò es deu a una observació de Brouwer que si emfatisem les proves en contes de la veritat, llavors en els conjunt
  1 kB (158 paraules) - 16:06 4 feb 2017
• Louis Couturat
  …ipar a la seua volta l'[[intuïcionisme]] de [[Luitzen Egbertus Jan Brouwer|Brouwer]]. Couturat contribuí al desenroll del llenguage artificial [[ido]], una v
  28 kB (4663 paraules) - 14:33 21 ago 2023