Zobrazeno 1 - 10
of 260
pro vyhledávání: '"Lógica intuicionista"'
Publikováno v:
CQD Revista Eletrônica Paulista de Matemática, Vol 17 IC, Pp 1-11 (2020)
Externí odkaz:
https://doaj.org/article/99ead0593b8c4792a290af996f9cc927
Publikováno v:
Kínesis, Vol 13, Iss 35 (2021)
Externí odkaz:
https://doaj.org/article/b1be592ee7d04817bdde5f3f38b83a66
Publikováno v:
Repositório Institucional da UFPE
Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
Como verificar se uma prova clássica também é intuicionista? Em dedução natural basta não haver ocorrência da lei do terceiro excluído ou da eliminação da dupla negação, conforme proposto por Gentzen. No seu cálculo de sequentes o mesmo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::f821ced74469f3cc71fa88da6355adfc
https://repositorio.ufpe.br/handle/123456789/28009
https://repositorio.ufpe.br/handle/123456789/28009
Autor:
TOBAR-ARBULU, José Félix
Publikováno v:
Theoria: An International Journal for Theory, History and Foundations of Science, 1985 Jan 01. 1(2), 561-568.
Externí odkaz:
https://www.jstor.org/stable/23916149
Publikováno v:
Revista dos Trabalhos de Iniciação Científica da UNICAMP.
Em um artigo de 1932, Gödel prova que a lógica proposicional intuicionista não pode ser vista como um sistema lógico multivalorado finito. Isso é feito mostrando que não existe uma função valoração com contradomínio finito que atribua a to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::96130a3f423f2d04c1a9b0a258ad3321
https://doi.org/10.20396/revpibic262018409
https://doi.org/10.20396/revpibic262018409
Publikováno v:
Educação Matemática em Revista; v. 20 n. 47 (2015): out./dez.; 5-12
Educação Matemática em Revista
Sociedade Brasileira de Educação Matemática, Brasília (SBEM-DF)
instacron:SBEM_MAT
Educação Matemática em Revista
Sociedade Brasileira de Educação Matemática, Brasília (SBEM-DF)
instacron:SBEM_MAT
O presente texto tem por objetivo apresentar um ensaio teórico a presença de características da lógica intuicionista no saber matemático de cianças, exemplificando-a com crianças surdas, tomando por base o texto "Institucionismo" (COSTA, 2008)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::625c3b2194892a73212393b1ced6fe3a
http://sbemrevista.kinghost.net/revista/index.php/emr/article/view/536
http://sbemrevista.kinghost.net/revista/index.php/emr/article/view/536
Publikováno v:
Repositório Institucional da PUC-RIO (Projeto Maxwell)
Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron:PUC_RIO
Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron:PUC_RIO
COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR A primeira apresentação de um Cálculo de Seqüentes foi feita por Gerhard Gentzen na década de 1930. Neste tipo de sistema, a diferença entre as versões clássica e intuicionista r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::292f47ebe6ae612a3074917bf14ad5da
https://doi.org/10.17771/pucrio.acad.11144
https://doi.org/10.17771/pucrio.acad.11144
Autor:
Amat Genís, Albert
Trabajo Fin de Máster. Máster Universitario en Filosofía Teórica y Práctica. Especialidad de Lógica, Historia y Filosofía de la Ciencia Este trabajo considera el problema de la atribución de valores de verdad a cierto tipo de proposiciones, c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1081::88b283d05d6e0ff7589ce1bb03159b30
http://e-spacio.uned.es/fez/view/bibliuned:masterFilosofiaLogica-Aamat
http://e-spacio.uned.es/fez/view/bibliuned:masterFilosofiaLogica-Aamat
Publikováno v:
Anais do Congresso Brasileiro de Educação Especial.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3c505a37b751a60b4f5489f4623ee594
https://doi.org/10.17648/galoa-cbee-6-28454
https://doi.org/10.17648/galoa-cbee-6-28454
[pt] A primeira apresentação de um Cálculo de Seqüentes foi feita por Gerhard Gentzen na década de 1930. Neste tipo de sistema, a diferença entre as versões clássica e intuicionista radicardinalidade do sucedente. O sucedente múltiplo foi tr