o meio um ATP/ITP que satisfaça suas demandas.
Saudações,
Notas:
[1] Imagino que funções indutivamente definidas são necessárias para a
parte aritmética, não?
[2] http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTP
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreve
revelar algo de interessante.
Saudações,
--
Hermógenes Oliveira
--
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.ufr
os.
Para teorias aritméticas (matemáticas), faz sentido esperar que, dada
uma sentença qualquer A, A ou ¬A seja demonstrável, pois não há nenhuma
sentença contingente.
Estou sendo ingênuo? Ou não entendi direito a pergunta do João Marcos?
--
Hermógenes Oliveira
--
Você está recebendo esta me
ng "ZFC is inconsistent."
> Since ZFC proves the Soundness Theorem, this model must think that ZFC
> has no model!
Algém teria a bondade de esclarecer o que significam "modelos pensantes"
e por quê o teorema de *completude* está sendo invocado para *ZFC*?
--
Hermó
responsável pelo conteúdo ou identificação
da autoria de mensagens veiculadas na lista me soa demasiadamente
paternalista.
Assim, a REGRA 1, no seu estado atual, me parece despropositada e
inócua. Me parece que devemos escolher: obrigatoriedade da ficha do JYB
ou permissão da anonimidade. Para mi
eceber
notificações de artigos em suas áreas de interesse (ou periódicos de
interesse). Não sei como ele se compara com o Academia.edu (pois nunca
usei este último), mas estou bastante satisfeito (e o portal tem
melhorado a cada ano que passa).
> Eu continuo na rede.
De fato, a decisão é sua
nação e ciência, à exemplo da
ideologia nazista. Muita gente acha que o problema principal com o
socionacionalismo alemão eram coisas como o Rassengünther[2] e campos
de concentração. Esquecemos que o nacionalismo em si mesmo é
problemático, embora seja normalmente tolerado ou mesmo visto com
to eu lia sobre isto era a
> história dos EUA, país que faturou cerca de 40% de todos os prêmios
> Nobel da história. Destes, 31% foram dados a cientistas que não
> nasceram lá. O recrudescimento do nacionalismo e da xenofobia, nos
> EUA e fora de lá, pode vir a causar danos nesta fro
iated: R-enumerable) , if
there is a program which decides W" p. 160 (Definition 2.6)
O manuscrito de Stephen Simpson que consta nas referências da entrada na
Wikipédia apresenta o teorema de Trakhtenbrot como um reforço do
resultado de Church (não mencionei isso na mensagem anterior pois
s
os em ciência do que em parecer espertos.
Divulgação científica *não* é importante. Ensino e livre acesso à
material didático e produção científica é essencial.
*** fim da pregação ***
Saudações,
--
Hermógenes Oliveira
"If you make people think they're thinking, they'll love you; but if yo
Para ser sincero, fiz minhas alegações na esperança de que fosse
cobrado por justificativas e, por esse meio, pudesse mostrar a todos
como sou um cientista esperto e instruído que é capaz de desdenhar
artigos de divulgação científica completamente bem intencionados, os
quais eu mes
lmente não possuem reservas quanto à
argumentos diagonais. Porém, como lembrou o João Marcos, sentimentos
podem variar dentro da grande família construtivista: finitistas,
predicativistas e etc. podem ter lá suas desconfianças.
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque
arece ter
sumido do artigo (embora haja uma discussão no corpo do texto em § 3.4).
[5] http://www.tecmf.inf.puc-rio.br/EdwardHermann/Public
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição
de decisão,
digamos, a ordenação dos resultados de alguma busca, é alimentado com
dados coletados dos próprios usuários, pode-se esperar que tendências e
preconceitos dos usuários se reflitam nos resultados do algorítimo.
Dependendo do contexto, algo assim pode ser bastante problemático.
--
Herm
eros ajuntamentos menores (seminários e
etc.) da área de lógica que participei, ou bem não havia mulheres (caso
mais comum) ou havia apenas uma (raro) ou, no máximo, duas (raríssimo)
mulheres presentes.
Notas:
[1]
https://broodsphilosophy.wordpress.com/2007/12/16/how-to-tell-if-you-suck-at-telling-phi
/31/why-do-undergraduate-women-stop-studying-philosophy/
[2] http://thecooperreview.com/non-threatening-leadership-strategies-for-women/
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição n
ente seus vários problemas.
Saudações,
P.S. Talvez o porquê do Journal of Philosophical Logic ter sido
classificado como C tenha algo a ver com o que está exposto na §4 do
artigo da Profª Rita de Cássia.
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreveu no grupo &qu
estaque da lista é, certamente, a Profª Celina.
Saudações,
--
Hermógenes Oliveira
--
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+unsub
o dos
programas e não prejudica ou privilegia pesquisadores específicos, pois
o Qualis não deve ser usado para avaliação *individual*.
E por aí vai...
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancela
derDavid/HoTT-StudyGroup
--
Hermógenes Oliveira
--
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.
Para postar
ite obter ¬A,A⊢B. [...]
Ops. Obviamente, o correto aqui seria "que permite obter ¬A⊢A→B". Mania
de reler/revisar o que escreveu só depois de enviar.
Foi mal. :-)
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Goo
urnal of the IGPL 22 (2),
297-308, 2014.
[6] Thomas Piecha, Wagner de Campos Sanz and Peter
Schroeder-Heister. Failure of Completeness in Proof-Theoretic
Semantics. Journal of Philosophical Logic 44 (3), 321-335, 2015.
[7] Per Martin-L\"of. On the Meanings of the Logical Constants and the
Justification
, inclusive, um
exemplo não muito convincente envolvendo um chapéu. :-o
Referências:
[1] Per Martin-Löf. On the Meanings of the Logical Constants and the
Justifications of the Logical Laws. Nordic Journal of Philosophical
Logic 1 (1), 11-60, 1996.
(disponível em https://github.com/michaelt/martin
ionista ou construtivista que independe da exegese desses
autores.
Referências:
[1] Per Martin-Löf. On the Meanings of the Logical Constants and the
Justifications of the Logical Laws. Nordic Journal of Philosophical
Logic 1 (1), 11-60, 1996.
(disponível em https://github.com/michaelt/mart
suficientes para favorecê-la em detrimento de ZF.
Referências:
[1] Dag Prawitz. An Approach to General Proof Theory and a Conjecture
of a Kind of Completeness of Intuitionistic Logic Revisited. In:
Advances in Natural Deduction, 269-279, 2014.
--
Hermógenes Oliveira
--
Você está recebendo esta men
urdo).
>>
>> Daí, ele justifica ECQ como regra de eliminação usando, inclusive, um
>> exemplo não muito convincente envolvendo um chapéu. :-o
>
> Hummm... Dualmente, qual seria a regra de eliminação do top? A regra
> de que "sob nenhuma circunstância podemos elimin
a, visto que "axioma" aqui não pode
ser tomado como verdade óbvia/evidente (conforme você mesmo escreveu).
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e
ett. The Logical Basis of Metaphysics. 1991.
(capítulo 9, em especial a subseção "Conservative Extensions")
[3] João Marcos. What is a Non-truth-functional Logic? Studia Logica
92:215-240, 2009. (página 230)
--
Hermógenes Oliveira
"The reasonable man adapts himself to the world;
a explicação detalhada disso aqui na lista para não
encher ainda mais o saco do pessoal que, a este ponto, já deve estar
lotado de doutrina martin-löfiana. :-)
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para can
emov. Explicit provability and constructive
semantics. Bulletin of Symbolic Logic 7 (1):1-36, 2001. (ver para
exemplos de desenvolvimentos recentes da idéia Gödeliana)
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para ca
ser
encontrado em: D. Prawitz and P. E. Malmnäs. A survey of some
connections between classical, intuitionistic and minimal logic. In
H. Arnold Schmidt, K. Schütte, and H. J. Thiele, editors, Contributions
to Mathematical Logic, Proceedings of the Logic Colloquium, Hannover
1966, pages 215-229.
mático e os axiomas são tomados como determinantes exaustivos das
noções matemáticas envolvidas, haveria sim a pretensão de que o
sistema formal possa decidir qualquer sentença matemática A por meio
de uma derivação de A ou de uma refutação de A.
--
Hermógenes Oliveira
--
Você está recebendo esta m
isso, a questão que você levanta é bastante interessante.
--
Hermógenes Oliveira
--
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...@dim
amente a
operação?
Em contraste, você conseguiria ver como os axiomas de AP determinariam
exaustivamente (ou pelo menos, possuem a pretensão de determinar
exaustivamente) a noção de número natural?
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
inceramente buscando evidências contrárias, e, em vista das
informações do JYB, estou curioso para saber o que Kripke tem a dizer
sobre o assunto. Até agora, contudo, apresentações "semânticas" do
teorema de Gödel tem me decepcionado, inclusive aquelas presentes no
excelente livro de S
rås & Wold (tanto na questão de gênero quanto na questão do
nepostismo).
Enfim, as falácias e deturpações são numerosas. Quando terminei de
ler o artigo, fiquei me perguntando se não se tratava de uma piada...
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreveu
Recollections of Prof. Takeuti by Norbert Preining:
https://www.preining.info/blog/2017/05/gaisi-takeuti-1926-2017/
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar
onquistou muita influência devido ao deplorável debate teísmo
vs. ateísmo, religião vs. ciência.
--
Hermógenes Oliveira
--
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
nças), também chamado de sistema
Fₐₜ na literatura recente. Essa relacão é inclusive usada no artigo da
Wikipédia que você mencionou para oferecer um *esquema* axiomático
alternativo para a lei do terceiro excluído (φ ∨ ¬φ):
(φ → χ) → ((¬φ →χ) → χ).
--
Hermógenes Oliveira
--
Você está recebendo esta
Almqvist & Wiksell. Chapter II, § 1, Remark on pp. 34-35.
[2] Michael Dummett. The Logical Basis of Metaphysics, 1991, Harvard
University Press. Chapter 13, Negation, pp. 291-296.
[3] Ian Rumfitt. "Yes" and "No". Mind, 109, 781-823.
[4] Stepen Read. Harmony and Auton
ções com base nas regras de eliminação podem ser
levemente adaptadas de modo a obter lógicas subestruturais, como a
lógica relevante.
Eu estou trabalhando com isso no momento e, se você quiser, podemos
discutir os detalhes em privado (para não incomodar a lista).
--
Hermógenes Oliveira
-
Cap. VII). Se, além
disso, coletamos as hipóteses em multiconjuntos, em vez de conjuntos,
temos um fragmento da lógica linear intuicionista (sem exponenciais). E
por aí vai.
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos
is na rede. Por
exemplo, a resenha de Cantor foi publicada no Deutsche Literaturzeitung:
https://de.wikipedia.org/wiki/Deutsche_Literaturzeitung
Digitalizações estão listadas ali no Wikisource.
P.S. Estranho que você tenha encontrado a edição impressa por R$
600,00... Na livraria regional aqui,
a convenceu a se dedicar à matemática
("it is not that I am worthy to occupy myself with mathematics, but
rather that mathematics is worthy for one to occupy oneself with") e
sobre o ensino do algorítimo de Euclides no ensino fundamental são
absolutamente encantadoras[2].
--
Hermógenes Oliveir
BCckenheim
[2] https://de.sci.mathematik.narkive.com/LWMTIIfp/kronecker-und-cantor
--
Hermógenes Oliveira
--
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 logi
https://youtu.be/yCALyQRN3hw?t=11406
[6] https://youtu.be/yCALyQRN3hw?t=12152
[7] https://www.youtube.com/watch?v=HT-UZkiOLv8
[8] https://youtu.be/yCALyQRN3hw?t=21327
[9] http://users.ox.ac.uk/%7Ejrlucas/Godel/mmg.html
[10] http://cyber-valley.de/en
--
Hermógenes Oliveira
"If you give someone
[3]
https://www.gnu.org/software/emacs/manual/html_node/gnus/Group-Parameters.html#index-broken_002dreply_002dto-253
[4]
https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/C4CCsLSKywA/CVtVnxGgZTIJ
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreveu no grup
embora
nem sempre com sucesso (afinal, aqui estamos). Na minha opinião,
eventualmente ter que reenviar para a lista uma mensagem erroneamente
endereçada somente ao remetente é preferível do que eventualmente
colocar no domínio público mensagens de conteúdo privado.
--
Hermógenes Oliveira
--
r o acesso de cientistas aos frutos
do seu próprio trabalho voluntário, em grande parte financiado por
agências de fomento com dinheiro público (Elsevier vs Projeto DEAL na
Alemanha). Surpreende que agências de fomento queiram dar um basta a
isso?
--
Hermógenes Oliveira
"Tão certo é que a p
tucionais. Para suas próximas
publicações, considere periódicos de livre acesso (Philosopher's
Imprint, Ergo, Logical Methods in Computer Science etc.).
Seu chato de plantão,
--
Hermógenes Oliveira
»Wer sich nicht bewegt, spürt seine Fesseln nicht«
Rosa Luxemburg
--
Você está recebendo esta mensage
ferências:
[1]
https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/3r3JuY79Ojc/r-G5sBKzBgAJ
[2]
https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/dAbP6w2kx8w/VawkJgKnBwAJ
--
Hermógenes Oliveira
»Die Mathematiker sind eine Art Franzosen: Redet man zu ihnen, so
übersetzen sie es in ihre Spra
as do artigo original. Contudo, ele não abre mão da
aritmetização em momento algum, ainda que em alguns momentos a
pressuponha *explicitamente* quando apresenta formulações abstratas
do resultado gödeliano.
--
Hermógenes Oliveira
From: Francisco Miraglia
ria particular, como
o Principia Mathematica (e, assim, obter o resultado original de
Gödel), sem usar aritmetização?
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar d
de argumento
não convenceria os vovozinhos de Göttingen e sentou para elaborar uma
demonstração completamente sintática. O esforço teria o custado uma
temporada no sanatório. Mas, em troca, recebemos uma bela demonstração.
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se in
ob a hipótese de que T é consistente)?
Sinta-se a vontade para usar qualquer outro tipo de "representação
formal da matemática" que não seja aritmética (que não apele a
números), ou para, alternativamente, apenas indicar uma referência
na literatura onde isto tenha sido realizado.
--
Hermógenes
por Gödel é, de fato,
inessencial, como observou o próprio Gödel, e pode ser substituída,
eventualmente por versões melhores, sem qualquer prejuízo. Porém, a
aritmetização em si me parece desempenhar um papel central.
--
Hermógenes Oliveira
"The competent programmer is fully aware of t
upo de pesquisa em qualquer
capacidade (uma tese temerária, eu diria)
- os possíveis efeitos negativos são desfavoravelmente contrabalanceados pelos
benefícios em termos de piadas, sapatos, tatuagens e evitar o considerável
trabalho envolvido em mudar o nome do grupo
- o legado do grupo de pes
gostar de Nabokov, dançar o tango, o Jazz e o ChaCha,
fazer piada usando o termo "lolita" na mesa de buteco com os amigos, e seja lá
mais o que as pessoas acham que essa discussão seja a respeito).
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreveu no grup
anteriamos um tronco
separado do repositório de vocês. Isso facilitaria a troca de remendos entre
as diversas versões.
Cordialmente,
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nes
ch are
often due to childcare or caring for a family member."
[1] https://www.dfg.de/en/research_funding/principles_dfg_funding/
equal_opportunities/reviewers/index.html
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
atemática, especialmente como conteúdo obrigatório em cursos de filosofia, nos
quais, inclusive, é comumente apresentado como regra do raciocinar correto,
dentre outras baboseiras.
--
Hermógenes Oliveira
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
ivo quanto:
https://sci-hub.se/10.1017/s1755020311000360
Divirta-se!
--
Hermógenes Oliveira
--
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
am tanto sobre a questão quanto nós
aqui na lista e simplesmente fizeram o conhecido copia-cola-e-ajusta do último
edital lançado.
Cordialmente,
[1] Para quem se interessa pelo tópico, recomendo a coletânea "Meritocracy and
Economic Inequality" editada por Kenneth Arrow etal. co
iais das
grandes casas e se juntar a mim no corpo editorial de outros periódicos
mais decentes. Tenho certeza que as submissões e, consequentemente, os
artigos publicados iriam nos acompanhar. Até eu chegar lá, vou vivendo
entre frustrações, planos e racionalizações.
Cordialmente,
--
Hermógenes
ndividuais seja mais diluto.
Não tenho soluções a sugerir. Trata-se de um problema melindroso. Mas acho
importante evitar que a perspectiva do pesquisador individual domine, e que
os custos para a sociedade sejam devidamente considerados.
Cordialmente,
--
Hermógenes Oliveira
--
LOGICA-L
Lista acad
"MANEL",
seja por fatores incontornáveis de logística organizativa ou simples
obtusidade, reclamar é sempre legítimo e, eu diria, necessário.
Cordialmente,
--
Hermógenes Oliveira
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está
erna e o grupo em Tübingen passou a considerar a
questão nos eventos que organizou dali em diante.
Cordialmente,
--
Hermógenes Oliveira
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu no grupo &
Acesso livre:
https://link.springer.com/book/10.1007/978-3-031-50981-0
--
Hermógenes Oliveira
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Go
, caso
contundentes, conduzam a reais consequências. Caso contrário, ninguém se
prestará a denunciar qualquer coisa.
--
Hermógenes Oliveira
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu
ros pontos no espectro.
--
Hermógenes Oliveira
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
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
es invejáveis para *alavancar* a sua carreira, nos moldes do seu
colega italiano.
--
Hermógenes Oliveira
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos
o, não conheço basicamente nada.
Portanto, não sei até que ponto a publicação do artigo dele neste contexto
sugere algo sobre sua pessoa.
--
Hermógenes Oliveira
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem po
72 matches
Mail list logo