Resultats de la busca

  • …t desenrollat per [[Arend Heyting]] per a proveir una base formal per al [[Intuïcionisme|proyecte intuicionista]] de [[Luitzen Egbertus Jan Brouwer|Brouwer]]. El si * [[Intuïcionisme]]
    1 kB (158 paraules) - 08:59 15 nov 2024
  • …, es va opondre a [[Henri Poincaré]], qui va anticipar a la seua volta l'[[intuïcionisme]] de [[Luitzen Egbertus Jan Brouwer|Brouwer]]. Couturat contribuí al desen
    28 kB (4663 paraules) - 17:45 10 set 2024