Diferencia entre revisiones de «Lógica intuicionista»
Contenido eliminado Contenido añadido
Línea 9:
La lógica intuicionista es una de las maneras de abordar el [[Constructivismo (matemáticas)|Constructivismo]] en matemáticas. El uso de Lógicas constructivistas en general han sido vistas como un tema controvertido entre matemáticos y filósofos.
La objeción más reconocida que tiene es que excluye el
== Véase también ==
|