Busca avançada
Ano de início
Entree

Dinâmica algorítmica informacional de teorias formais

Processo: 23/05593-1
Modalidade de apoio:Bolsas no Exterior - Estágio de Pesquisa - Pós-Doutorado
Vigência (Início): 29 de outubro de 2023
Vigência (Término): 28 de outubro de 2024
Área do conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Itala Maria Loffredo D'Ottaviano
Beneficiário:Felipe Sobreira Abrahão
Supervisor: Hector Zenil
Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Local de pesquisa: Oxford Immune Algorithmics (OIA), Inglaterra  
Vinculado à bolsa:21/14501-8 - Sistêmica algorítmica informacional: em direção a uma teoria formal por estruturas parciais mutuamente auto-organizantes, BP.PD
Assunto(s):Sistemas complexos   Problemas inversos   Computabilidade e complexidade   Teoria da informação   Teoria dos modelos   Cibernética
Palavra(s)-Chave do Pesquisador:Algorithmic information | Complex systems | foundational mathematics | Inverse Problems | Model theory | partial structures | ciência de sistemas complexos; teoria da computabilidade; teoria da informação; teoria dos modelos; teoria da quase-verdade; cibernética.

Resumo

A ciência de sistemas complexos é um dos campos mais desafiadores para se obter teorias unificadas e abrangentes. Ao mesmo tempo, seus resultados possuem aplicações imediatas que são evidenciadas em diversas áreas do conhecimento, como biologia, física, cibernética, inteligência artificial, sociologia e ciência cognitiva. Embora a teoria da computabilidade e a teoria da informação desempenhem um papel fundante em tal campo interdisciplinar, para o qual vêm contribuindo com definições matemáticas e teoremas, as conhecidas propriedades encontradas em sistemas complexos, como evolução, emergência e auto-organização, não são ainda conhecidas por terem laços, em contrapartida, com a lógica matemática. Partindo de uma abordagem transdisciplinar, baseada na dinâmica algorítmica informacional e sistêmica pela via da teoria dos modelos e da quase-verdade, nosso objetivo é demonstrar que essa relação de fato ocorre. Formalmente, nosso objetivo é estabelecer definições matemáticas e teoremas que demonstrem condições suficientes para que sistemas formais em interação dêem origem a uma (auto)estrutura no limite assintótico tal que esta permaneça invariante sob qualquer transformação subjetiva que uma teoria formal arbitrariamente escolhida possa definir. Além de contribuir para os fundamentos da matemática e da lógica, nossa pesquisa faz a ponte entre teorias abstratas na ciência da complexidade e as suas aplicações na sociedade. (AU)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)