Resultats de la busca
¡Crea la pàgina "Luitzen Egbertus Jan Brouwer" en L'Enciclopèdia en valencià!
- …[[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 conjunt1 kB (158 paraules) - 08:59 15 nov 2024
- …ipar a la seua volta l'[[intuïcionisme]] de [[Luitzen Egbertus Jan Brouwer|Brouwer]]. Couturat contribuí al desenroll del llenguage artificial [[ido]], una v28 kB (4663 paraules) - 17:45 10 set 2024