Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02807993n
Noun Concept
Categories: Teoria dos tipos, Intuicionismo, Construtivismo matemático
PT
teoria dos tipos intuicionista  martin-löf teoria tipo
PT
Teoria dos tipos intuicionista, ou Teoria dos tipos construtiva, ou Teoria dos tipos de Martin-Löf é uma teoria dos tipos e uma alternativa para os fundamentos da matemática baseados nos princípios do construtivismo matemático. Wikipedia
Definitions
Relations
Sources
PT
Teoria dos tipos intuicionista, ou Teoria dos tipos construtiva, ou Teoria dos tipos de Martin-Löf é uma teoria dos tipos e uma alternativa para os fundamentos da matemática baseados nos princípios do construtivismo matemático. Wikipedia
IS A
teoria dos tipos
USES
lógica intuicionista
Wikipedia
PT
teoria dos tipos intuicionista
Wikidata
PT
Teoria dos tipos intuicionista
Wikipedia Translations
PT
martin-löf teoria tipo

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License