Wikipédia

Lógica matemática: diferenças entre revisões

Explorar interativamente o histórico
← Ver a alteração anteriorVer a alteração posterior →
Conteúdo apagado Conteúdo adicionado
VisualTexto wiki
Linha 1:
'''Lógica Matemática''' é umabgbgbfgbfgfbbfgfuma sub-área da [[matemática]] que explora as aplicações da lógica formal para a matemática. Basicamente, tem ligações fortes com [[matemática]], os [[fundamentos da matemática]] e [[ciência da computação teórica]].<ref>Undergraduate texts include Boolos, Burgess, and Jeffrey [[#CITEREFBoolosBurgessJeffrey2002|(2002)]], [[Herbert Enderton|Enderton]] [[#CITEREFEnderton2001|(2001)]], and Mendelson [[#CITEREFMendelson1997|(1997)]]. A classic graduate text by Shoenfield [[#CITEREFShoenfield2001|(2001)]] first appeared in 1967.</ref> Os temas unificadores na lógica matemática incluem o estudo do poder expressivo de [[sistema formal|sistemas formais]] e o poder dedutivo de sistemas de [[prova matemática]] formal.
 
A lógica matemática é muitas vezes dividida em campos da [[teoria dos conjuntos]], [[teoria de modelos]], [[teoria da recursão]] e [[teoria da prova]]. Estas áreas compartilham resultados básicos sobre lógica, particularmente [[lógica de primeira ordem]], e [[definição|definibilidade]]. Na ciência da computação, especialmente na classificação ACM, onde ACM vem do inglês (Association for Computing Machinery) , lógica matemática engloba tópicos adicionais não descritos neste artigo; ver [[lógica em ciência da computação]] para este tópico anterior.
Obtida de "https://pt.wikipedia.org/wiki/Lógica_matemática"