Colóquio de tese e síntese

Modelo interativo

Explore antes de calcular

1. Contribuição=afirmação+método+evidência+limites

   Uma contribuição durável junta uma proposição delimitada ao modo como ela foi estabelecida e ao ponto em que ela para.

2. Decisão: avançar se P(dados|modelo)/P(dados|modelo nulo)>K e as verificações de robustez forem satisfeitas

   Uma regra de decisão combina discriminação quantitativa com portas metodológicas definidas de antemão.

3. Reprodutibilidade=entradas+versões+comandos+saídas esperadas+somas de verificação

   Um pacote é reprodutível quando outra pessoa consegue regerar as saídas definidas a partir de entradas congeladas.

1. 1. Reescreva “o éter é real” como uma afirmação de tese falseável.

   Ver a dica

   Especifique modelo, acoplamento, observável e comparador.

   Ver a solução

   Exemplo: “O modelo A prevê uma modulação de fase sideral de amplitude X na configuração Y, que os modelos eletromagnéticos e térmicos padrão mantêm abaixo de Z; um teste cego de um ano vai estimar ou limitar X.”

2. 2. Por que é preciso uma porta de robustez além de um limiar de verossimilhança?

   Ver a dica

   Pense em artefatos e em dependência da análise.

   Ver a solução

   Um modelo pode vencer estatisticamente apoiado numa calibração que falhou, num pré-processamento instável ou numa única condição não replicada; as portas de robustez impõem validade metodológica.

3. 3. Que arquivos precisam regerar uma figura de tese?

   Ver a dica

   Trace o caminho da entrada bruta até os pixels.

   Ver a solução

   Dados imutáveis brutos ou referenciados, metadados, código ou caderno, dependências travadas, comando exato, configuração e a soma de verificação esperada ou asserções numéricas.

1. Ponto de partida

   Regra de decisão de uma afirmação delimitada

   Defina o modelo-alvo M₁, o modelo nulo M₀ e as verificações de robustez G especificadas previamente

   1. 1. Calcule a verossimilhança preditiva ou uma estatística de teste declarada.
   2. 2. Calibre o limiar sob M₀.
   3. 3. Avalie a sensibilidade e as especificações alternativas.
   4. 4. Exija G antes de mudar o status da afirmação.

   Avance com a afirmação apenas quando o limiar estatístico e todas as verificações críticas de robustez forem satisfeitos

   O status de evidência é uma decisão científica composta, não apenas um valor-p ou um fator de Bayes.

2. Ponto de partida

   Fechamento de dependências para reprodutibilidade

   Cada resultado R depende dos dados D, do código C, do ambiente E e dos parâmetros P

   1. 1. Represente as dependências como um grafo acíclico dirigido.
   2. 2. Calcule o hash de cada folha imutável.
   3. 3. Registre os comandos que transformam os nós pais em filhos.
   4. 4. Verifique as saídas finais e os testes a partir de uma raiz limpa.

   R=f(D,C,E,P), com versões registradas e possibilidade de auditoria para cada dependência

   O fechamento de dependências transforma uma afirmação narrativa num objeto acadêmico executável.

1. Compilador de evidência da tese

   Cada afirmação da tese pode ser regerada, rastreada até a fonte, verificada quanto à incerteza e receber uma fronteira de evidência?

   Entradas

   • • Registro de afirmações e grafo da literatura
   • • Dados, código e cadernos versionados
   • • Critérios da banca e registro de desvios

   Algoritmo

   1. 1. Monte o grafo de dependências de afirmação para evidência.
   2. 2. Execute todas as reproduções a partir de ambientes limpos.
   3. 3. Rode as portas de incerteza e de robustez.
   4. 4. Gere os resumos de evidência técnico e público.

   Evidência a produzir

   • • Compêndio executável da tese
   • • Matriz de status das afirmações e de limitações
   • • Auditoria da banca e módulo público de ensino

1. Dossiê de síntese da tese

   Que contribuição original sobrevive à reprodução completa, à revisão adversarial e à alternativa convencional mais forte?

   1. 1. Rastreie cada afirmação da tese até a fonte ou os dados.
   2. 2. Reproduza todas as deduções e figuras críticas.
   3. 3. Audite os desvios, os resultados negativos e a incerteza.
   4. 4. Separe a contribuição da interpretação e do trabalho futuro.

   Cálculo a reproduzir: Reproduza o resultado central da tese e a comparação com o modelo alternativo mais forte, a partir de entradas congeladas.

   Fronteira da evidência: Uma tese estabelece apenas a contribuição delimitada e reprodutível dela; implicações mais amplas continuam sendo perguntas de pesquisa avaliadas à parte.

1. Proposição

   Uma tese cientificamente ambiciosa é mais forte quando torna a incerteza e as condições de falha impossíveis de não notar.

   1. 1. Fronteiras explícitas impedem que um resultado carregue implicações sem apoio.
   2. 2. Resultados negativos e desvios revelam o processo de pesquisa de verdade.
   3. 3. A reprodutibilidade permite correção e extensão cumulativas.

   Objeção mais forte: Portas e cautela em excesso podem sufocar a síntese não convencional e a descoberta exploratória.

   Evidência decisiva: Um portfólio que mostre afirmações pré-registradas delimitadas convivendo com exploração claramente rotulada que gere previsões independentes bem-sucedidas.

1. Conclua a porta de liberação da tese

   A contribuição está pronta para a aprovação da banca, para o ensino público e para reúso independente?

   Pré-registro

   • • Congele as afirmações críticas da tese e os critérios da banca.
   • • Defina as portas de reprodução e de robustez.
   • • Comprometa-se de antemão com a linguagem pública de evidência e com as limitações.

   Pacote de reprodutibilidade

   • • Fonte da tese e grafo de citações
   • • Dados imutáveis e proveniência de amostras e de aparato
   • • Código em contêiner, cadernos e testes
   • • Manifesto de todos os resultados, registro de desvios e módulo público

   Portões de marco

   1. 1. Aprovação da proposta e da contribuição
   2. 2. Reprodução independente do resultado central
   3. 3. Pré-defesa adversarial e correções
   4. 4. Defesa perante a banca, publicação arquivística e tradução pública