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) - 08:59 15 nov 2024
• 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) - 17:45 10 set 2024