Resultats de la busca

  • …[[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
  • …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