Quem tem interesse em forcing e assistiu a palestra correspondente no
"lógicos em quarentena" pode se interessar por essa discussão:
https://mathoverflow.net/questions/369710/a-better-way-to-explain-forcing
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos
Olá pessoal,
Também considero a mensagem do Walter pertinente. Acabar com os prêmios não
resolveria o problema de falta de reconhecimento e de devida atribuição de
mérito, apenas apagaria uma de suas manifestações mais visíveis.
Abraço
Rodrigo
> Em 24 de jul de 2020, à(s) 18:23, Adolfo
Divulgo grande livro publicado hoje em acesso aberto pelo LnA.
-- Forwarded message -
From: Lógica no Avião
Date: Fri, Jul 17, 2020 at 1:05 PM
Subject: [logic-bsb] F. Miraglia, "An Introduction to Partially Ordered
Structures and Sheaves", 2020
To:
Informamos que o grande
O livro do Poizat é uma preciosidade para mim, especialmente a edição
original que ele me enviou de presente há uns dez anos. É muito bom que ele
tenha perseverado e produzido o livro.
Outro prefácio de livro relacionado, Classical Groups, Hermann Weyl,
parágrafo final:
"The gods have imposed
O Bruno Poizat escreveu sobre o tema na introdução do seu curso de teoria de
modelos, edição em inglês. Acho que texto pode servir de base para uma boa
discussão.
Abraço
> Em 11 de jun de 2020, à(s) 10:02, Walter Carnielli
> escreveu:
>
>
> Car@s colegas:
>
> Infelizmente devido a um
Caro Claudio,
Obrigado pela interessante mensagem.
Não trabalhei com teoria da computabilidade, apenas uma vez me ocorreu um
problema. Queria saber se um semireticulado para cima com jump parcial e
enumerável que eu havia definido poderia ser mergulhado nos graus de
Turing. A dificuldade é que o
Olá,
Destaco que a palestra virtual desta semana (ontem) do Oxford Set Theory
seminar, apresentada por Joel Hamkins, foi dedicada ao trabalho conjunto
com nosso colega Alfredo Roque Freire, que temos a alegria de ter aqui na
Universidade de Brasília neste momento. O projeto de pesquisa sobre
Triste notícia.
Tomei contato em 2009 com uma parte do trabalho do Conway, o que ele e
Kochen (da teoria de modelos) chamaram de Strong Free-Will Theorem. O
artigo do Notices teve uma resposta com título "What does the strong
free-will theorem actually prove?", também no Notices, da qual destaco
Caro Chico,
Pois é, complicado entender tempo e mudança, pelo menos com o nosso aparato
conceitual. Recomendei para a lista o artigo do Emiliano porque ele é muito
claro ao mostrar as dificuldades principais já conhecidas.
Por exemplo, a dificuldade de pensar o movimento como uma soma de
Olá,
Minha impressão é que o autor propõe usar alguma versão dos números reais
intuicionistas para representar o tempo e resolver paradoxos relacionados,
portanto, que a ideia seria usar matemática intuicionista tipo análise e
geometria para representar aspectos da realidade (tempo ou espaço),
u sabendo hoje que vocês vão me matar
> amanhã"...
>
>
> Em ter., 24 de mar. de 2020 às 18:27, Rodrigo Freire
> escreveu:
>
>> A sentença do rei é mais que sustentável, ela de fato ocorre, não é?
>> O raciocínio do rábula não é sustentável, como não são alguns r
oblems of teaching are not problems of growth but helping
>> cultivate growth. As far as I know, and this is only from personal
>> experience in teaching, I think about ninety percent of the problem in
>> teaching, or maybe ninety-eight percent, is just to help the students get
&
950558_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
>
> Em ter., 24 de mar. de 2020 às 15:48, Rodrigo Freire
> escreveu:
>
>> Oi Andrea,
>>
>> Sim, meu ponto é que a teoria epistêmica resultante não é confiável (se
>> formalizada será contraditória). Por isso
_campaign=sig-email_content=webmail>.
> <#m_4031521167101064759_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
>
> Em ter., 24 de mar. de 2020 às 11:15, Rodrigo Freire
> escreveu:
>
>> Olá Andrea. A formulação da prova surpresa é mais familiar para mim.
>>
>> A sentença
Vou tentar esclarecer o que aprovamos no cepe (não que seja relevante, mas
sou conselheiro titular e estive na reunião por zoom) e o cenário de
coordenação que temos.
1- Como foi dito, aprovamos a suspensão do semestre, não seu cancelamento.
Significa que o semestre será retomado quando a
Olá Andrea. A formulação da prova surpresa é mais familiar para mim.
A sentença poderia ser reformulada com o axioma:
*Você será enforcado na segunda ou na terça ou na quarta ou na quinta ou na
sexta.*
Essa é a única informação da sentença. O resto tem o efeito de "sem mais
informações" e é
-- Forwarded message -
From: Lógica no Avião
Date: Fri, Jan 31, 2020 at 12:40 PM
Subject: [logic-bsb] Rodolfo Ertola Biraben (CLE-UNICAMP)@ [Lógica no Avião]
To:
*Rodolfo Ertola Biraben*
*CLE-UNICAMP*
*Sobre os fragmentos da lógica intuicionista*
*Dia: 03 de fevereiro,
Ótima trabalho Alfredo!
> Em 16 de jan de 2020, à(s) 18:46, Walter Carnielli
> escreveu:
>
> Caros colegas:
>
> Gostaria de chamar a atenção para o artigo que nosso colega (meu
> ex-orientando) Alfredo Freire acaba de submeter com o Joel Hamkins
> (Oxford, ex-New York):
>
> J. D.
Início da mensagem encaminhada:
> De: Lógica no Avião
> Data: 9 de janeiro de 2020 23:24:43 BRT
> Para: logic-...@googlegroups.com
> Assunto: [logic-bsb] World Logic Day @ Lógica no Avião
> Responder A: logic-bsb+own...@googlegroups.com
>
>
>
> Dia Mundial da Lógica [World Logic Day -
Bom esclarecimento do seu entendimento, Hermógenes, mas ainda há pontos que
não estão estritamente corretos.
Por exemplo,
> Como nós poderíamos, contudo, com base no resultado abstrato de TMR,
> *demonstrar* o resultado de Gödel para uma formalização particular A da
> aritmética? Seria
O teorema como apresentado abstratamente no clássico TMR não tem a alegada
hipótese existencial que esconde uma construção. Eles demonstram que para
*qualquer* nomeação das fórmulas, ou falha a representabilidade da
diagonalização ou falha a representabilidade da teoremicidade. Qual vai falhar,
Meu ponto é que a essência do teorema é uma falha de representação (uma entre
duas, qual vai falhar depende da nomeação das fórmulas, ou seja, da
godelizacao). Indecidibilidade e indefinibilidade da verdade podem ser
consequências dessa falha, mas o resultado é geral e se aplica a teorias
Legal, vamos ver como o teorema de Godel na versão que mencionei (TMR) *se
aplica* nesse caso sem aritmetização no sentido usual (sequer há um predicado
para os números naturais). Depois analiso a falha de representabilidade.
Sim, a teoria dos corpos reais fechados (corpos ordenados tais que
indefinidos.
Abraço
> Em 29 de dez de 2019, à(s) 10:35, Hermógenes Oliveira
> escreveu:
>
> Rodrigo Freire escreveu:
>
>> A hipótese que T tem nomes para suas fórmulas significa apenas que
>> as fórmulas de T e os termos fechados de T estão em correspondência
>>
gt; demonstração do teorema de incompletabilidade gödeliano NÃO depende
>> da "aritmetização da sintaxe" (como defendeu a autora do artigo
>> citado no começo da presente discussão).
>
> Permitam-me assumir o ultrajante papel de advogado do diabo. :-)
>
> Rodrigo Freire e
ios;
> contudo, a noção formal de _representabilidade_, ali, também recorre
> diretamente a teorias da Aritmética --- como de costume.
>
> Abraços,
> Joao Marcos
>
>
>> On Thu, Dec 26, 2019 at 10:23 AM Rodrigo Freire wrote:
>>
>> [Também não sei se entendi muit
[Também não sei se entendi muito bem qual é a direção da questão, e o que eu
vou escrever aqui pode não ter a ver com o problema intencionado.]
Vou tentar explicar o que entendo pela codificação presente no teorema e como
essa codificação está diretamente ligada à ideia fundacional de
Como eu provo que tal teoria é completa?
>
> Abraço,
>
> Anderson
>
>
> Em quarta-feira, 11 de dezembro de 2019 14:37:46 UTC-3, Rodrigo Freire
> escreveu:
>>
>> Oi Anderson,
>>
>> A teoria das ordens lineares estritas, sem extremos e densas é sim
Oi Anderson,
A teoria das ordens lineares estritas, sem extremos e densas é sim completa, só
tem modelos infinitos e contém a sua.
Abraço
> Em 11 de dez de 2019, à(s) 14:25, Anderson Nakano
> escreveu:
>
>
> Rodrigo (e demais), uma questão:
>
> Se eu adicionar à teoria um axioma de
Talvez tenha perdido algo, mas do jeito que está toda ordem linear estrita sem
extremos é modelo da sua teoria. Em particular, os inteiros com a ordem natural
e os racionais com a ordem natural são modelos. Mas essas estruturas não são
elementarmente equivalentes, portanto a teoria não é
Divulgação de palestra.
Início da mensagem encaminhada:
> De: Lógica no Avião
> Data: 14 de novembro de 2019 00:46:45 BRT
> Para: logic-...@googlegroups.com
> Assunto: [logic-bsb] Itala M. Loffredo D'Ottaviano (IFCH-CLE-UNICAMP) @
> [Lógica no Avião]
> Responder A:
Prezada Gisele,
Se a adoção da linguagem colonial/patriarcal do opressor, ressignificada ou
irônica, é contraproducente para a causa das mulheres oprimidas, como
defendem muitas feministas em meios menos elitizados, então o texto em
questão não se soma ao feminismo, ao contrário.
Carl Sagan
Acabei lendo o artigo e também vejo nele apenas uma contribuição à falta de
compostura, nada mais. “Vagabunda” e “vadia” não são elogios hoje, depois de
Marie Curie ter sofrido esse ataque. Foi errado o que aconteceu com ela, só
isso, não tem essa de politicamente ressignificar o preconceito
a-que-ganhou-dois-premios-nobel.html)
>
> --
> Juan Meleiro
> Em 19 de out de 2019 10:04 -0300, Rodrigo Freire escreveu:
>> Um adendo, pegando carona. O autor dessa monstruosidade é apresentado no
>> blog como vice-diretor de um dos institutos de matemática e computação mais
&
t; JM
>
>> On Tue, Oct 8, 2019 at 2:24 PM Rodrigo Freire wrote:
>>
>> Artigo horroroso.
>>
>>
>> https://blogs.oglobo.globo.com/ciencia-matematica/post/o-que-maquina-pode-aprender.html
>>
>>
>>
>> --
>> Você recebeu es
gt; e a hipótese do contínuo ainda é a melhor fonte.
>
> JM
>
>> On Tue, Oct 8, 2019 at 2:24 PM Rodrigo Freire wrote:
>>
>> Artigo horroroso.
>>
>>
>> https://blogs.oglobo.globo.com/ciencia-matematica/post/o-que-maquina-pode-aprender.html
>>
&
Início da mensagem encaminhada:
> De: Lógica no Avião
> Data: 16 de outubro de 2019 23:51:48 BRT
> Para: logic-...@googlegroups.com
> Assunto: [logic-bsb] Marcelo Esteban Coniglio (IFCH-CLE-UNICAMP) @ Avião>
> Responder A: logic-bsb+own...@googlegroups.com
>
>
> Marcelo Esteban Coniglio
>
;
>> Eu não tenho ideia do que seja a hipótese do contínuo.
>> Onde encontro uma boa explicação?
>>
>> Abs.
>> Adolfo
>>
>> On Tue, Oct 8, 2019, 16:30 Famadoria wrote:
>>
>>> Lixo, Adolfo.
>>>
>>> Sent from my iPhone
>>
Artigo horroroso.
https://blogs.oglobo.globo.com/ciencia-matematica/post/o-que-maquina-pode-aprender.html
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail
Divulgação de palestra.
Início da mensagem encaminhada:
> De: Lógica no Avião
> Data: 23 de setembro de 2019 13:34:25 BRT
> Para: logic-...@googlegroups.com
> Assunto: [logic-bsb] Aldo Figallo-Orellano @
> Responder A: logic-bsb+own...@googlegroups.com
>
> Aldo Figallo-Orellano [Universidad
divulgação de palestra.
-- Forwarded message -
From: Lógica no Avião
Date: Mon, Aug 19, 2019 at 1:16 PM
Subject: [logic-bsb] Jean-Yves Béziau (UFRJ) @
To:
*Jean-Yves Béziau (UFRJ)*
*O conjunto vazioDia: 21 de agosto, 2019Local: Sala de Reuniões
(FIL-UnB)Horário:
Divulgação de palestra.
Início da mensagem encaminhada:
> De: Lógica no Avião
> Data: 16 de julho de 2019 23:03:15 BRT
> Para: logic-...@googlegroups.com
> Assunto: [logic-bsb] Daniel Nagase (USP) @
> Responder A: logic-bsb+own...@googlegroups.com
>
> Daniel Nagase (USP)
> Kant, Frege e o
Duas vagas de professor substituto na UnB.
Início da mensagem encaminhada:
> De: Lógica no Avião
> Data: 9 de julho de 2019 12:12:48 BRT
> Para: logic-...@googlegroups.com
> Assunto: [logic-bsb] Vaga para professor substituto (Lógica/FIL-UnB)
> Responder A: logic-bsb+own...@googlegroups.com
>
Divulgação de palestra.
-- Forwarded message -
From: Lógica no Avião
Date: Mon, Jul 15, 2019 at 12:18 PM
Subject: [logic-bsb] Wagner Sanz (UFG) @
To:
*Wagner Sanz (UFG)Semântica sem verdade e sem provaDia: 16 de julho,
2019Local: Sala de Reuniões (Departamento de
Anúncio do novo livro publicado em acesso aberto pela organização LnA.
-- Forwarded message -
From: Lógica no Avião
Date: Fri, Jul 12, 2019 at 6:08 PM
Subject: [logic-bsb] [Livro - Seminário Lógica no Avião, 2013-2018] [
lna.unb.br]
To:
A organização *Lógica no Avião*
Encaminho para divulgação.
-- Forwarded message -
From: Lógica no Avião
Date: Mon, May 20, 2019 at 12:50 PM
Subject: [logic-bsb] Diego Marques (MAT-UnB) @
To:
*Diego Marques (MAT-UnB)*
*Primos e transcendentes*
*Dia: 28 de maio, 2019Local: Sala de Reuniões (Departamento
Divulgo a próxima palestra do Lógica no Avião (terça-feira):
Início da mensagem encaminhada:
> De: Lógica no Avião
> Data: 27 de abril de 2019 15:47:37 BRT
> Para: logic-...@googlegroups.com
> Assunto: [logic-bsb] Diego Fernandes (UFG) @
> Responder A: logic-bsb+own...@googlegroups.com
>
>
Aproveito a menção à palestra do Desclés para
explicar que essa palestra aconteceu no colóquio "As formas da razão" na UnB,
organizado em parceria com o "Lógica no Avião".
Os vídeos podem ser encontrados em
https://www.youtube.com/channel/UC9Z-Xog2S_1863ijG6_qtLw/videos
Em 14 de abr de
Novos lançamentos do selo Lógica no Avião.
-- Forwarded message -
From: Lógica no Avião
Date: Thu, Apr 11, 2019 at 10:17 PM
Subject: [logic-bsb] Lançamento: G. Kreisel, "About Logic and Logicians",
2019
To:
O anuncia o lançamento de dois livros de ensaios
de Georg
Agradeço aos cumprimentos registrados na lista e anuncio o conselho
editorial do selo Lógica no Avião:
http://lna.unb.br/
Anuncio ainda a próxima palestra do seminário, na próxima quinta-feira:
Alfredo Roque Freire, Bi-interpretações em teorias de conjuntos.
Abraço
Rodrigo
--
Você está
Novo selo de publicação de livros na área de lógica. Recebemos submissões e
buscamos garantir uma avaliação rápida e séria da pertinência ao nosso
perfil editorial, bem como uma publicação rápida, acesso aberto.
-- Forwarded message -
From: Lógica no Avião
Date: Mon, Mar 11,
em relacao a
> justificacao pre-matematica da empreitada da teoria de homotopia de tipos
> (HoTT).
>
> Abraco,
> Bruno
>
> On Thursday, February 21, 2019 at 4:34:57 PM UTC-5, Rodrigo Freire wrote:
>>
>> Olá Bruno,
>>
>> Acho que um exemplo um pouco diferente ilust
;> > como não haveria um critério de individuação adequado, na _estrutura_
>> > sugerida por Daniel, simplesmente _não valeria a pena_ falar em
>> > indivíduos como entidades separadas, mas apenas no seu papel na
>> > estrutura! (no caso em tela, um único pa
claramente
> critérios de "separação" (apartness) entre indivíduos, dados pela
> própria relação de ordem estrita.
>
> ###
>
> JM
>
>> On Wed, Feb 20, 2019 at 4:25 PM Rodrigo Freire wrote:
>>
>> Olá Daniel,
>>
>> Se há dois indivíduos e
Olá Daniel,
Se há dois indivíduos e apenas um papel, não podemos dizer que um indivíduo
*é* um papel na estrutura. Se fossem, não poderiam ser dois. Podemos dizer,
claro, que eles desempenham o mesmo papel, que esse papel exige outro, etc,
mas não podemos usar a fórmula indivíduo = papel
Olá Daniel,
1- Sim, o teorema é conhecido, e há uma demonstração é simples: Como todas
as ordens enumeráveis densas e sem extremos são isomorfas a Q (= estrutura
dos racionais com sua ordem), basta demonstrar para esse caso. A função x +
(u - s) é um isomorfismo de Q em Q.
2- Para responder isso
Divulgação de evento:
http://www.filosofia.fflch.usp.br/eventos/1726
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Divulgação de palestra.
Início da mensagem encaminhada:
> De: Lógica no Avião
> Data: 18 de dezembro de 2018 14:23:44 BRST
> Para: logic-...@googlegroups.com
> Assunto: [logic-bsb] Gregory Chaitin @ Lógica no Avião
> Responder A: logic-bsb+own...@googlegroups.com
>
> Gregory Chaitin (UFRJ)
>
Sobre a Rozsa Peter e seu livro, achei interessante a menção na entrevista
com o Peter Lax realizada quando ele visitou a usp.
Destaco a primeira resposta:
Paulo Cordaro — Você pode nos contar como foram seus primeiros anos em
Budapeste? Como era o ensino de matemática nesse tempo? Você teve
llejas.
>
> El dom., 21 oct. 2018 a las 21:22, Rodrigo Freire ()
> escribió:
>
>>
>>
>> -- Forwarded message -
>> From: Lógica no Avião
>> Date: Sun, Oct 21, 2018 at 9:20 PM
>> Subject: [logic-bsb] Piergiorgio Odifreddi @ Lógica no Av
-- Forwarded message -
From: Lógica no Avião
Date: Sun, Oct 21, 2018 at 9:20 PM
Subject: [logic-bsb] Piergiorgio Odifreddi @ Lógica no Avião
To:
*Piergiorgio Odifreddi *
*How Gödel became Gödel *Dia: 23 de outubro, 2018
Local: a confirmar (FIL-UnB)
Horário: 15h30-17h
--
Não tenho condições de comentar a ideia do Atiyah. Sobre a questão lógica,
posso dizer algo.
1- Se a RH é demonstrável em ZFC, então também é demonstrável em ZF. Isso é bem
conhecido, segue da absolutidade desse enunciado, que é equivalente a uma
sentença Pi1.
2- Suponha que se ZFC é
Parabéns Felipe, tenho orgulho de ter acompanhado seu desenvolvimento no
mestrado! Ótima publicação com o Fitting.
Abraço
Rodrigo
On Thu, Aug 30, 2018 at 11:00 AM 'Felipe Salvatore' via LOGICA-L <
logica-l@dimap.ufrn.br> wrote:
> Oi a todos,
>
> Para quem se interessa sobre lógica da
talhes aqui:
> http://jdh.hamkins.org/replacement-for-well-ordered-sets-is-equivalent-to-full-replacement/
>
> Aproveito para parabenizar e agradecer o agora colega Rodrigo Freire
> (ex-orientando) que ajudou a suprir as sóli
Oi João
Aqui vai uma opinião talvez muito simplista de um não-especialista.
A propriedade meta-logica que me parece relevante para sua questão é a
comutatividade com “é demonstrável que”.
Em um contexto construtivo usual, conjunção, disjunção e implicação comutam com
“é demonstrável que”.
Oi Samuel.
A resposta é que, no contexto da teoria de conjuntos, o termo “construtivo” é
usado de modo muito mais generoso que em outros contextos. De fato, muito pouco
da teoria de conjuntos poderia ser dito construtivo em um sentido mais estrito
do termo porque a própria lógica de base já
Eu propus uma definição (que acho bem razoável) de não-construtividade. Com
essa definição, a não-construtividade de AC que provei vale para qualquer
formulação (que seja ZF-equivalente). Ou seja, se AC é a formulação usada do
axioma da escolha e B é demonstrada equivalente a AC em ZF, então B
Há uma questão mais ou menos recente no mathoverflow que está diretamente
relacionada com o seu título.
https://mathoverflow.net/questions/297738/in-what-ways-is-zf-without-choice-somewhat-constructive
Abraço
Em 10 de mai de 2018, à(s) 22:59, 'Samuel Gomes' via LOGICA-L
Divulgo duas palestras do seminário permanente Lógica no Avião. Hoje e amanhã.
> Graham Priest (CUNY)
> Everything and Nothing
>
> In this paper I will argue that everything (the totality of all objects) and
> nothing
> (the absence of all objects) are perfectly good objects. Each can be
gt;
>
> 17h-18h
>
>
>
> Dr. Laurent Dubois (ULB)
>
>
>
>
>
>
>
> Jantar no Restaurante Coco Bambu, Lago Sul
>
>
>
> 20h
>
>
>
>
>
>
>
>
>
>
>
> 6a, 11
Olá Ana,
Com mais informações sobre seu background e sobre como você se interessou por
esse campo é mais fácil receber uma sugestão apropriada. Sobre sua primeira
questão: É importante entrar em contato, inicialmente, com as noções de função,
enumeração e indução finita. Além desse livro que
O último blog post do Joel Hamkins é dedicado a parte do projeto sobre
interpretações que o doutorando Alfredo Roque Freire está desenvolvendo. Há
vários resultados limitativos interessantes sobre interpretações e
bi-interpretações que não são tão bem conhecidos e o Alfredo tem explorado isso
A coluna de hoje do Marcelo Viana foi feita com a colaboração da mestranda
em lógica Luiza Ramos, principalmente. Parabéns, Luiza, pelo trabalho sério
e silencioso. Destaco um trecho da coluna:
***A leitora Luiza Ramos, mestranda em filosofia na UnB, expressou ideias
muito parecidas em mensagem
Há uma vaga disponível para professor visitante para atuar no programa de
pós-graduação em filosofia da universidade de Brasília. O salário é de
15.800 reais.
Olá Bruno e Hermógenes,
O Bruno explicou bem, mas ainda vou resumir o meu ponto de modo direto.
Acho que estamos desviando da questão central, Hermógenes. Meu ponto é
muito simples:
- Não há como distinguir a incompletude da aritmética da incompletude da
teoria de grupos sem reconhecer um
>>
>> [...]
>>
>> O vocabulário da teoria de grupos é exclusivamente matemático, e os
>> axiomas são tomados como determinantes exaustivos das noções
>> matemáticas envolvidas (operação de grupo), muito mais que no caso
>> da aritmética.
>
> Não sei se compreendi muito bem a analogia.
>
>
Ok, Hermógenes, então podemos focar na questão levantada.
>
> O problema é que só com essa "interpretação sintática do teorema" é
>> impossível distinguir o teorema de Godel de uma trivialidade
>> irrelevante como, por exemplo: Há uma sentença G da teoria de grupos
>> (suposta consistente) tal
Olá Hermógenes,
> A interpretação sintática do teorema permanece inalterada.
>
> Na minha hulmide opinião, interpretações semâmticas do teorema, que
> apelam a noções semânticas como "verdade" ou alguma noção semântica de
> "negação", *não fazem o menor sentido*. Mesmo no caso clássico.
Olá Bruno,
Parabéns para a Valeria e para você pela ótima participação.
Como é sabido por nós, Martin Loef afirma que verdade não pode ser identificada
com demonstrabilidade em um sistema específico devido ao teorema de Godel. Por
isso a identificação dele seria: verdade é demonstrabilidade
Sim, para mostrar que um enunciado absoluto para L em ZF vale em ZF você pode
usar o axioma da escolha *global*, além de GCH, diamante, etc. E parece muito
difícil encontrar um enunciado "natural" em teoria da computação que não seja
absoluto para L.
Abraço
Rodrigo
Enviado do meu iPhone
Prezado Samuel,
Você teria que procurar um enunciado que não seja absoluto para o universo
construtível L. De fato, temos o seguinte resultado, já aludido em uma das
respostas nesse link que você enviou:
- Se S é um enunciado absoluto para L em ZF, e S é demonstrável em ZFC,
então S é
arabéns, Rodrigo!
>> Também gostei muito!
>> Itala
>>
>>
>> > Parabéns Rodrigo, e obrigado pela referência :-)
>> >
>> > E obrigado também por esclarecer que filósofos produzem argumentos, e
>> > não (apenas)
>> > material de leitura!
&
Caros colegas,
Divulgo aqui o edital do processo seletivo de bolsista PNPD no departamento
de filosofia da universidade de Brasília. São duas bolsas para doutores em
filosofia. Professores de instituições de ensino superior também podem
participar. A bolsa pode ser renovada por até 60 meses. Há
<
hermogenes.olive...@student.uni-tuebingen.de>:
> Salve, Rodrigo!
>
> Rodrigo Freire <freires...@gmail.com> escreveu:
>
> > Caros,
> >
> > Corrigindo:
> >
> > Afinal, a completude semântica da lógica de predicados no caso
> > fin
Caros,
Corrigindo:
Afinal, a completude semântica
> da lógica de predicados no caso finito é apenas um caso especial da
> completude semântica para o caso geral (infinito), demonstrado por Gödel
> na sua tese de doutorado.
>
Não. Segundo o teorema de Trakhtenbrot, não há sistema dedutivo
Faltou o título da tese:
Teoria das Funções de Primeira Ordem.
Abraço
Rodrigo
2014-05-12 8:36 GMT-03:00 Rodrigo Freire freires...@gmail.com:
Caros,
Gostaria de convidar a todos para a sessão de defesa da minha tese de
doutorado em matemática, nesta quinta-feira, 15 de maio de 2014
Muito oportunos os pontos levantados pelo Jean Yves e os comentários
do João Marcos.
Acho que Godel e Turing são os lógicos mais celebrados do século XX, e
certamente são grandes pensadores. Compará-los com outros lógicos que
fizeram trabalhos similares não diminui em nada a grandeza desses
Computer (2000)
Resolver negativamente o Entscheidungsproblem de Hilbert através de um
modelo razoavelmente intuitivo de máquina/algoritmo não foi pouca coisa,
principalmente para o próprio desenvolvimento da Lógica Matemática.
Abraço,
Ruy
Em 11 de junho de 2013 21:11, Rodrigo Freire freires
Gostaria de saber a opinião da lista sobre esse fenômeno de
idolatria ao Turing, que nos últimos anos se manifestou com mais
força nas comemorações do centenário. Vou dar um pouco de contexto
para a mensagem.
Em uma mensagem de hoje, o João Marcos divulgou o anúncio do livro
Alan Turing: his work
penso que notícias sobre o Bowie são de pouca relevância para esta
lista. :-)
2013/6/10 Rodrigo Freire freires...@gmail.com:
Gostaria de saber a opinião da lista sobre esse fenômeno de
idolatria ao Turing, que nos últimos anos se manifestou com mais
força nas comemorações do centenário. Vou
O quadradinho do Bourbaki cumpre o papel de *lugar de variável ligada*. É
preciso o link de desambiguação para ligar o quadradinho ao operador tau
correspondente. Os links não estão oficialmente entre os símbolos da
linguagem, mas ocorrem na formação de expressões. O operador tau é um
variable
O João Marcos está correto aqui:
O sentido cotidiano de *conjunto* não é o sentido matemático, e o
primeiro tem tanta relevância para o segundo quanto o sentido
cotidiano de *continuidade* tem relevância para o sentido matemático
da mesma noção. Não saber separar os dois é ser incapaz de
Qualquer ultrafiltro principal (em partes dos naturais por exemplo) é
demonstrado existir sem uso do AC, ou de algo mais fraco: Fixe n um número
natural e considere a família de todos os conjuntos de números naturais que
contém n. Isso é um ultrafiltro.
Abraço
Rodrigo
2012/11/20 Walter
Ok. Para os não-principais é preciso uma forma fraca do AC, conforme o
Walter observou.
Abs
Rodrigo
2012/11/20 Walter Carnielli walter.carnie...@gmail.com
Ola Rodrigo,
ele queria os nao-principais (pelo que.sei do trabalho dele),
Abs
Waltet
Em 20/11/2012 08:22, Rodrigo Freire freires
O segundo exemplo do Carlos visto de outra forma (que talvez tenha mais
apelo aos lógicos):
Considere a lógica proposicional clássica com infinitas variáveis
proposicionais.
Uma teoria proposicional T que é (consistente e) negação completa não pode
ser finitamente axiomatizável.
prova1: a
Nesse caso, concordo com o diagnóstico do Walter.
Acho que isso fica nítido entre 2:43 e 2:57 no primeiro video em que o Elon
afirma algo do tipo:
Houve durante uma época uma tentativa de impor que para estudar Matemática
seria preciso estudar Lógica.
Eu não sei que época foi essa, nem quem
Caro Decio,
Obrigado pela resposta.
Supondo que seja esse o caso, e que o Elon se dirige a matemática moderna,
me parece que as aulas do Elon apenas reforçam que para estudar matemática
é preciso conhecer a linguagem básica de conjuntos, como queria a
matemática moderna. Supostamente, é essa
valor-de-verdade.
Abraços,
Joao Marcos
2012/10/11 Rodrigo Freire freires...@gmail.com:
Acredito que há aspectos positivos nesse programa de treinamento de
professores do Elon. Certamente, a parte de Lógica não deve ser o ponto
alto do programa. Vou fazer um breve comentário sobre a estranha
Rodrigo Freire freires...@gmail.com:
Olá João,
Certamente é possível arrumar o que o Elon faz de modo que faça
sentido,
não é esse o meu ponto. O meu ponto é justamente essa confusão entre
P=Q
é válida e simplesmente P=Q. Eu não lembro de o Elon distinguir
claramente entre P=Q e ~P. Ele
Sim, eu vi o video de solução de equações. É o melhor deles.
Abraço
Rodrigo
2012/10/11 Rodrigo Freire freires...@gmail.com
2012/10/11 Joao Marcos botoc...@gmail.com
O Elon provavelmente não conhece a implicação material, logo não há
confusão neste ponto: a implicação lógica é sempre
1 - 100 de 203 matches
Mail list logo