Sobre a consistência de IST
Autor(a) principal: | |
---|---|
Data de Publicação: | 2003 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://hdl.handle.net/10174/14605 |
Resumo: | Enriquecendo a teoria dos conjunto ZFC com o símbolo de redicado st e os axiomas de transferência, idealização e standardização, obtemos IST, a teoria dos conjuntos internos. Às fórmulas sem o novo símbolo de predicado chamamos internas em oposição às que o contêm, que chamamos externas. Após a apresentação de IST e de algumas consequências dos seus axiomas, descrevemos neste trabalho um algoritmo, chamado algoritmo de redução, que permite encontrar urna fórmula interna equivalente a cada fórmula externa. O algoritmo de redução fornece uma demonstração sintáctica da consistência relativa de IST. Veremos ainda outra demonstração desta consistência, agora semântica, através da construção de um modelo para o seu sistema de axiomas. Continuamos com um breve enquadramento histórico da análise não-standard, seguido de uma análise dos benefícios da sua utilização e, por fim, desenvolvermos uma possível interpretação intuitiva dos elementos fundamentais de IST. /***Abstract - The axiom system IST is obtained from set theory ZFC adding predicate set, and three new axioms, the axioms of transfer, idealization and standardization. A formula without the new symbol is called internal, and formulae that contain the symbol set are called external. After the presentation of the axiomatic IST and some consequentions of these axioms, we describe an algorithm, called reduction algorithm, that allows us to find an internal formula equivalent to each external formula. The reduction algorithm yields a syntactical proof of the relative consistent of IST. We consider another proof of this consistent, now semantical, through a construction of a model for his system of axioms we continue with a short history of nonstandard analysis, followed by a short analysis of the benefits of its utilization, and, at last, we will develop a possible intuitive interpretation of fundamental elements of IST. |
id |
RCAP_5bfab03c97878837e0a2fc2517034d15 |
---|---|
oai_identifier_str |
oai:dspace.uevora.pt:10174/14605 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
Sobre a consistência de ISTEnriquecendo a teoria dos conjunto ZFC com o símbolo de redicado st e os axiomas de transferência, idealização e standardização, obtemos IST, a teoria dos conjuntos internos. Às fórmulas sem o novo símbolo de predicado chamamos internas em oposição às que o contêm, que chamamos externas. Após a apresentação de IST e de algumas consequências dos seus axiomas, descrevemos neste trabalho um algoritmo, chamado algoritmo de redução, que permite encontrar urna fórmula interna equivalente a cada fórmula externa. O algoritmo de redução fornece uma demonstração sintáctica da consistência relativa de IST. Veremos ainda outra demonstração desta consistência, agora semântica, através da construção de um modelo para o seu sistema de axiomas. Continuamos com um breve enquadramento histórico da análise não-standard, seguido de uma análise dos benefícios da sua utilização e, por fim, desenvolvermos uma possível interpretação intuitiva dos elementos fundamentais de IST. /***Abstract - The axiom system IST is obtained from set theory ZFC adding predicate set, and three new axioms, the axioms of transfer, idealization and standardization. A formula without the new symbol is called internal, and formulae that contain the symbol set are called external. After the presentation of the axiomatic IST and some consequentions of these axioms, we describe an algorithm, called reduction algorithm, that allows us to find an internal formula equivalent to each external formula. The reduction algorithm yields a syntactical proof of the relative consistent of IST. We consider another proof of this consistent, now semantical, through a construction of a model for his system of axioms we continue with a short history of nonstandard analysis, followed by a short analysis of the benefits of its utilization, and, at last, we will develop a possible intuitive interpretation of fundamental elements of IST.Universidade de Évora2015-06-01T16:16:39Z2015-06-012003-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://hdl.handle.net/10174/14605http://hdl.handle.net/10174/14605pordep matemáticasandra.opinheiro@gmail.com332Pinheiro, Sandra Cristina de Oliveirainfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-01-03T19:00:48Zoai:dspace.uevora.pt:10174/14605Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T01:07:45.065909Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
Sobre a consistência de IST |
title |
Sobre a consistência de IST |
spellingShingle |
Sobre a consistência de IST Pinheiro, Sandra Cristina de Oliveira |
title_short |
Sobre a consistência de IST |
title_full |
Sobre a consistência de IST |
title_fullStr |
Sobre a consistência de IST |
title_full_unstemmed |
Sobre a consistência de IST |
title_sort |
Sobre a consistência de IST |
author |
Pinheiro, Sandra Cristina de Oliveira |
author_facet |
Pinheiro, Sandra Cristina de Oliveira |
author_role |
author |
dc.contributor.author.fl_str_mv |
Pinheiro, Sandra Cristina de Oliveira |
description |
Enriquecendo a teoria dos conjunto ZFC com o símbolo de redicado st e os axiomas de transferência, idealização e standardização, obtemos IST, a teoria dos conjuntos internos. Às fórmulas sem o novo símbolo de predicado chamamos internas em oposição às que o contêm, que chamamos externas. Após a apresentação de IST e de algumas consequências dos seus axiomas, descrevemos neste trabalho um algoritmo, chamado algoritmo de redução, que permite encontrar urna fórmula interna equivalente a cada fórmula externa. O algoritmo de redução fornece uma demonstração sintáctica da consistência relativa de IST. Veremos ainda outra demonstração desta consistência, agora semântica, através da construção de um modelo para o seu sistema de axiomas. Continuamos com um breve enquadramento histórico da análise não-standard, seguido de uma análise dos benefícios da sua utilização e, por fim, desenvolvermos uma possível interpretação intuitiva dos elementos fundamentais de IST. /***Abstract - The axiom system IST is obtained from set theory ZFC adding predicate set, and three new axioms, the axioms of transfer, idealization and standardization. A formula without the new symbol is called internal, and formulae that contain the symbol set are called external. After the presentation of the axiomatic IST and some consequentions of these axioms, we describe an algorithm, called reduction algorithm, that allows us to find an internal formula equivalent to each external formula. The reduction algorithm yields a syntactical proof of the relative consistent of IST. We consider another proof of this consistent, now semantical, through a construction of a model for his system of axioms we continue with a short history of nonstandard analysis, followed by a short analysis of the benefits of its utilization, and, at last, we will develop a possible intuitive interpretation of fundamental elements of IST. |
publishDate |
2003 |
dc.date.none.fl_str_mv |
2003-01-01T00:00:00Z 2015-06-01T16:16:39Z 2015-06-01 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/10174/14605 http://hdl.handle.net/10174/14605 |
url |
http://hdl.handle.net/10174/14605 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
dep matemática sandra.opinheiro@gmail.com 332 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.publisher.none.fl_str_mv |
Universidade de Évora |
publisher.none.fl_str_mv |
Universidade de Évora |
dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799136561669865472 |