-- Forwarded message -
just for advertising this Fully funded PhD position in "Axiomatic
definitions. Criteria of adequacy and typologies of definitions in
axiomatic theories of 19th and 20th centuries", at the Centre Gilles
Gaston Granger, University of Aix-Marseille. It is part
How Failure Has Made Mathematics Stronger:
The topologist Danny Calegari discusses the inevitability of
disappointment in math, and how to learn from it.
https://www.quantamagazine.org/how-failure-has-made-mathematics-stronger-20240522/
JM
--
LOGICA-L
Lista acadêmica brasileira dos
-- Forwarded message -
**CALL FOR EXPRESSION OF INTEREST IN THE M.Sc./M.A. PROGRAMME “LOGIC”**
The National and Kapodistrian University of Athens (Department of History
and Philosophy of Science), the Academy of Athens (Research Centre for
Greek Philosophy) and the National
Novo mestrado na Universidade de Bayreuth:
https://dailynous.com/2024/05/06/new-an-ma-program-in-philosophy-computing
JM
--
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
PessoALL:
Com apresentações do Cezar, do Ederson, da Evelyn, do Hitoshi e do
Jonas, este evento na UFSC pode ser de interesse para alguns dos
colegas:
https://drive.google.com/file/d/1o6pqC5Pg-6_rNPSpd9PO0ctJ9D_cPUBI/
[]s, Joao Marcos
--
https://sites.google.com/site/sequiturquodlibet
-- Forwarded message -
CALL FOR APPLICATIONS
Logic for the AI Spring 2
Summer School at Lake Como School of Advanced Studies, September 2-6, 2024
https://lais.lakecomoschool.org/
DESCRIPTION
In its second edition, Logic for the AI Spring, continues bringing
together
https://www.logicmatters.net/2024/04/21/nf-really-is-consistent/
(because Lean says so!)
the paper
https://randall-holmes.github.io/Nfproof/maybedetangled2.pdf
[]s, JM
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta
-- Forwarded message -
As part of the Cluster of Excellence ‘Knowledge in Crisis’, funded by the
Austrian Science Fund (FWF) [COE 03], the Paris Lodron University of
Salzburg is seeking to appoint a
*postdoctoral researcher (f/m/d; 40 hours/week; for 1 year)*
The advertised
Adam Mickiewicz University, Poznań, Poland)
- Joao Marcos (Federal University of Santa Catarina, Florianopolis, Brazil)
- Manuel Antonio Martins (University of Aveiro, Portugal)
- Dale Miller (Inria Saclay - Ile-de-France, Palaiseau, France)
- Nicola Olivetti (Aix-Marseille University, France)
- Eug
sible
and appealing to the broader public."
-- Terence Tao, UCLA
On Sat, Apr 20, 2024 at 10:20 AM Joao Marcos wrote:
>
> editable list of resources
> https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/edit
>
> workshop
> https://www.nationalacade
editable list of resources
https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/edit
workshop
https://www.nationalacademies.org/event/06-12-2023/ai-to-assist-mathematical-reasoning-a-workshop
JM
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes
-- Forwarded message -
From: Valeria de Paiva
Date: Thu, Apr 18, 2024 at 1:55 PM
Subject: [WiL] Women in formal Mathematics
To:
hi all,
I am very pleased to announce our workshop as part of the Hausdorff
Institute program on Prospects of Formalized mathematics
Obituário publicado pela Filosofia / UFSC:
https://fil.cfh.ufsc.br/nota-de-pesar-newton-carneiro-affonso-da-costa-1929-2024/
JM
On Wed, Apr 17, 2024, 11:24 Joao Marcos wrote:
> Qual o valor exato das palavras? Este é aquele momento em que mais
> sentimos falta delas, e em que mais el
aprouver, suas ternas
lembranças e suas homenagens ao mestre da Costa:
https://twitter.com/antitheorem/status/1780569310894666211
Com pesar,
Joao Marcos
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se
https://www.quantamagazine.org/avi-wigderson-complexity-theory-pioneer-wins-turing-award-20240410/
JM
--
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.
-- Forwarded message -
E W BETH DISSERTATION PRIZE 2024
=
Since 2002, the Association for Logic, Language, and Information
(FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to
outstanding
-- Forwarded message -
The ''Dov Gabbay Prize for Logic and Foundations'' is an international
research prize aimed at outstanding and inspirational contributions in
Logic and Foundations. It targets active researchers combining
foundational insight and conceptual innovation with
-- Forwarded message -
ACKERMANN AWARD 2024
EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE
CALL FOR NOMINATIONS
Nominations are now invited for the 2024 Ackermann Award. PhD
dissertations in topics specified by the CSL
Esta vaga em *Teoria da Computação* pode eventualmente interessar a
alguém nesta lista?
https://concursos.pr4.ufrj.br/images/Edital-54-2024-MS-efetivos/5-Conteudo-Programatico-e-Sistematizacao/5.2-Conteudo-Programatico-e-Sistematizacao-25-03-24/MC-095_conteudo_programatico_edital_54-retificado.pdf
Evento:
Monism vs. Pluralism in Logic, Metaphysics, and Philosophical Methodology
Bergen, 02.05.2024 - 09.30–17.00
https://www.uib.no/en/fof/169442/workshop-monism-vs-pluralism-logic-and-metaphyiscs
precedido por:
A two-day master class by Owen Griffiths (UCL/Cambridge) and Alex
Paseau (Oxford)
O evento a seguir pode interessar jovens pesquisadores da área.
JM
-- Forwarded message -
*C-FORS Graduate Conference:*
*Constructional Approaches in the Foundations of Mathematics and Philosophy*
*Important Informations:*
- *Topics*: Philosophy of Mathematics, (Philosophy
quatro programas nacionais
(juntamente com os programas de Filosofia da USP, da UFMG e da PUC/RS)
que têm nota máxima na avaliação da CAPES.
O que mais preciso dizer?
Abraços,
Joao Marcos
%%%
NOTAS
(0) Do edital:
"Para ser admitida como Professor Visitante Júnior, a pessoa candidata
dever
volumes especiais do Bulletin of the American Mathematical Society
"Will machines change mathematics?"
https://www.ams.org/journals/bull/-000-00/S0273-0979-2024-01836-9/
tópicos cobertos no primeiro volume, publicado este mês:
- AI and formalization as a tool for traditional mathematics
- Can
Olha, será que já não chega de "[OUF]"?
Talvez este tipo de conversa *sem nenhum esforço de conexão com os
temas centrais desta lista* deveria ir para os "grupos de WhatsApp da
família"?
[]s, JM
On Thu, Mar 28, 2024 at 7:14 PM jean-yves beziau wrote:
>
>
Timothy Gowers @wtgowers:
"Formalization of mathematical proofs has been talked about a lot
recently. Today a new journal is launched, the Annals of Formalized
Mathematics, aimed principally at mathematicians rather than computer
scientists. 淋"
Vale lembrar aqui a palestra da Valeria amanhã!
JM
-- Forwarded message -
Dear Women in Logic,
this is a reminder that the first talk in the new seminar series
"Women in Logic Online" will be given by Valeria de Paiva on
Wednesday!
Date:Wednesday, March 20,
-- Forwarded message -
Idea and Motivation
The Munich Center for Mathematical Philosophy (MCMP) is organizing the
Summer School for Widening Participation in Mathematical Philosophy,
which will take place from Monday 22 July to Friday 26 July, 2024 in
Munich, Germany. Following a
Sim, claro, igualmente interessante:
(early career section)
How to Make a Portrait of a Bird
Claire Voisin
https://www.ams.org/journals/notices/202206/rnoti-p950.pdf
thx, Valeria!
JM
On Sun, Mar 17, 2024 at 8:44 AM Joao Marcos wrote:
>
> ‘The Rest of the World Disappears’: Claire
‘The Rest of the World Disappears’: Claire Voisin on Mathematical Creativity
The recipient of the 2024 Crafoord Prize in Mathematics discusses math
as art, math as language, and math as abstract thought.
https://www.quantamagazine.org/a-mathematician-on-creativity-art-logic-and-language-20240313/
-- Forwarded message -
Prize announcement.
The Rolf Schock Prize in Logic and philosophy 2024 is awarded jointly to
Hans Kamp, Stuttgart, and Irene Heim, MIT,
"for the (mutually independent) conception and early development of dynamic
semantics for natural language".
Read more
>
>> A SBL enviou uma carta de apoio há cerca de semana e a SBPC também já o fez.
>>
>> De fato, está havendo, se iniciou neste momento, um "reforço" da SBPC junto
>> às entidades filiadas sobre estas manifestações de apoio.
>>
>> Abraços
>&g
Importantíssimo, Hugo! Muito preocupante a situação da ciência
cis-cis-platina! Valeria a pena, talvez, a SBL também se manifestar
oficialmente?
[]s, João Marcos
On Tue, Mar 12, 2024, 13:42 Hugo Luiz Mariano wrote:
> Prezad@s coleg@s,
>
> Dada a importância e gravidade do assunto, tomo a
+++
CALL FOR CONTRIBUTIONS
XX SLALM - 20th Latin American Symposium on Mathematical Logic
Uruguay
July 1 to 5, 2024
https://xxslalm.cmat.edu.uy/
+++
The Latin
Vox twitteri, vox dei: ;-)
https://twitter.com/antitheorem/status/1763573386054095173
JM
On Fri, Mar 1, 2024 at 6:02 PM Joao Marcos wrote:
>
> Let R be a set of rules inducing a set S of individuals. What is your
> favorite way of defining S from R?
>
>
> [A] Nothing is a
Let R be a set of rules *inducing a set S of individuals*. What is your
favorite way of defining S from R?
[A] Nothing is a member of S unless it is produced by the rules in R.
[B] S is the smallest set closed under R.
[C] S is generated by R through a fixed-point construction.
[D] None of the
NCL'24: Non-Classical Logics: Theory and Applications 2024
University of Lodz Conference Center
Łódź, Poland, September 5-8, 2024
Conference website https://easychair.org/smart-program/NCL'24/
Submission link https://easychair.org/conferences/?conf=ncl24
Conference program
-- Forwarded message -
Registration open
Contributed talks deadline extended
Student travel grants deadline approaching
Scientific Programme available
Logic Colloquium 2024
Gothenburg, Sweden
24-28 June 2024
web: http://lc2024.se
contact: i...@lc2024.se
The Logic Colloquium is
-- Forwarded message -
[Idea and Motivation]
The Munich Center for Mathematical Philosophy (MCMP) is organizing the
Summer School for Widening Participation in Mathematical Philosophy,
which will take place from Monday 22 July to Friday 26 July, 2024 in
Munich, Germany. Following
-- Forwarded message -
On 15-17 April, 2024 the University of Gothenburg will host the 2024
edition of its annual Lindström Lectures. The Lindström Lectures is a
distinguished lecture series initiated in 2013 celebrating the memory
of Per (Pelle) Lindström, former (and first)
-- Forwarded message -
Dear Women in Logic,
we are starting a new seminar series called "Women in Logic Online"!
The first talk will be given by Valeria de Paiva.
Date:Wednesday, March 20, 2024
Time: 17:00 CET
Venue: Online via Zoom
https://twitter.com/antitheorem/status/1758641575763337657
Uma piada do Mark Twain, e exercício de lógica do Copi. Aparentemente
amplamente mal entendido, há 140 anos!
Joao Marcos
--
https://sites.google.com/site/sequiturquodlibet/
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e
Opiniões podem ser registradas aqui:
https://twitter.com/antitheorem/status/1757812328366539213?t=3J5BBarav5vooDvVBd2wVA=19
[]s, JM
--
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
formalismos dedutivos "parecidos" (método de resolução ou tableaux
analíticos não valem como resposta à minha pergunta!).
[]s, Joao Marcos
On Wed, Jan 31, 2024 at 8:48 AM Walter Carnielli wrote:
>
> Em tempo:
>
> Eu escrevi K PROLOG mas o correto é Constraint Logicc Pograming.
&
> *
>
> O encapsulamento do código evita que o cliente faça perguntas
> bobas,
> como "será que {a}∈(a,b)?"
>
ma referência
geral sobre a construtibilidade via espirógrafos)
Abraços,
Joao Marcos
--
https://sites.google.com/site/sequiturquodlibet/
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu no g
entre mais no que
> é "existência em matemática",
> enfim. Que aí a coisa da matemática construtiva vem em cheio também.
Isto daria uma discussão deveras interessante!
Abraços, Joao Marcos
--
https://sites.google.com/site/sequiturquodlibet/
--
LOGICA-L
Lista acadêmica brasile
uclidiana (o Hamkins não
menciona uma referência para este resultado, e eu também não
procurei). Parece-me que um bom problema (em aberto?) para uma
estudante de pós-graduação que queira aparecer na Quanta Magazine
seria o de mostrar que espirógrafos também são Turing-completos.
Abraços,
Joao Marco
Five persons make separate journeys within Europe using different
modes of transport. Match the travelers with their respective
journey and mode of transport and calculate the amount of CO2
emissions that they cause in the process!
https://www.vcla.at/wp-content/uploads/2024/01/VCLA_Raetsel_A5.pdf
da Turing-completude dos origamis
https://www.quantamagazine.org/how-to-build-an-origami-computer-20240130/
JM
--
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
desconhecida--- descrição extensional?
[]s, Joao Marcos
--
https://sites.google.com/site/sequiturquodlibet/
--
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
;reconhecimento de padrões"?
f(x)=y SSE f é descrita pelo gráfico {..., (x,y),...}
Em ambos os casos, e também no exemplo que você deu lá em cima, claro,
as definições apresentadas precisam de informações ou testes
adicionais para garantir que definem (o gráfico de) "relações
funci
cê conhece livros-textos introdutórios *sobre lógica de
primeira ordem* que usem cálculo lambda de maneira judiciosa e
essencial?
[]s, Joao Marcos
--
https://sites.google.com/site/sequiturquodlibet/
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está
E o vencedor é...
On Wed, Jan 24, 2024, 17:08 Joao Marcos wrote:
> O que vocês pensam desta asserção? Podem registrar suas opiniões aqui:
>
> https://twitter.com/antitheorem/status/1750241375164014824?t=tIUhYdS_2OGHUOCPOT_aSQ=19
>
> JM
>
--
LOGICA-L
Lista acadêm
O que vocês pensam desta asserção? Podem registrar suas opiniões aqui:
https://twitter.com/antitheorem/status/1750241375164014824?t=tIUhYdS_2OGHUOCPOT_aSQ=19
JM
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem
hors of each accepted extended
abstract/demonstration proposal is expected to attend THedu'24 and
presents their extended abstract/demonstration.
Program Committee (tentative)
David Cerna, Johannes Kepler University, Austria
Joao Marcos, Federal University of Rio Grande do Norte, Br
> https://cacm.acm.org/magazines/2023/11/277437-what-came-first-math-or-computing/fulltext
> -- por Moshe Vardi
A palestra está agora disponível online:
https://youtu.be/CiD2Hm4GmpQ?si=RdepvkF2D3vT7vp_
Abraços, Joao Marcos
--
https://sites.google.com/site/sequiturquodlibet/
--
LOGICA-L
A notícia do concurso bem na nossa área é excelente! (a menos da exigência
tola do título de _graduação_ em Filosofia)
Não posso, de todo modo, deixar de manifestar nesta ocasião minhas saudades
do amigo Carlos González!
http://www.ifilo.ufu.br/acontece/2021-09-nota-de-falecimento
Abraços, Joao
-- Forwarded message -
Dear colleagues,
The University of St Andrews is seeking qualified candidates for a
four-year postdoctoral research fellowship, to work with Prof. Franz
Berto on the project “What If? Knowing by Imagining”.
The job advertisement details are here
Salve, lógicos de plantão!
Buscam-se recursos didáticos a nível de graduação para ensinar sobre
RECURSÃO (ESTRUTURAL) *para filósofos e linguistas*:
https://twitter.com/antitheorem/status/1744730134765351143
Desde já agradeço pelos ponteiros compartilhados,
Joao Marcos
PS1: Agradeço aos
Pode ser de interesse a alguns membros desta lista:
%%%
Date/Time: 15 January 2024, 4-6pm GMT
Speaker: Lawrence C. Paulson FRS, University of Cambridge
Web: https://www.cl.cam.ac.uk/~lp15/
Registration: https://www.lms.ac.uk/events/lms-bcs-facs-seminar-2024
Title: Formalising 21st-Century
> Sou amplamente a favor de cotas (em especial as raciais) de
> representatividade e de diversidade, o que implica que por exemplo, em um
> comitê assessor com 10 pessoas, tem que haver ao menos uma pessoa que se
> identifique como mulher, não importa a % de representação da área -- vide o
>
ma)
há, aparentemente, 6 homens e 4 mulheres. Em ligeiro contraste, no
comitê de Filosofia parece haver 3 mulheres e 2 homens. A Itala,
atual coordenadora deste último comitê, poderá me corrigir se eu
estiver errado.
[]s, Joao Marcos
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e est
https://dailynous.com/2024/01/05/nicholas-rescher-1928-2024/
JM
--
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
> Sem querer estender muito mais este assunto OFF, parece-me essencial
> enfatizar o conteúdo deste tweet da professora Carlotto:
> https://twitter.com/maria___maria/status/1740070734318502251?t=jWvYDt6r6Zggo2PX-YZyeg=08
> Fala-se pouco nisso, mas "mulheres" e
> "mulheres-com-filhos-para-cuidar"
Viva, Abílio:
Neste link você poderá encontrar estes dois artigos juntamente com outros
dois publicados na mesma época e lugar, que podem lhe interessar também:
https://drive.google.com/file/d/1IpyWdpyCTzfVQ7JnF_RJ5JO6MVbgQQe7/
Abraços,
João Marcos
On Fri, Jan 5, 2024, 13:07 Abilio Rodrigues
> Obrigado pela sugestão, mas "chance", em português, é usado como
> oportunidade.
Curiosamente, a palavra para "odds" em catalão é justamente "oportunitat"...
> Nao descreve bem essa medida.
Como a ciência da estatística e a teoria das probabilidades não
nasceram em inglês, talvez valha a
eceber qualquer treinamento ou orientação --- nem sequer para se
apresentarem em público, que dirá para dar aulas minimamente bem
organizadas, motivadoras e inclusivas.) Isso precisa mudar!
Boas Festas a todos,
Joao Marcos
PS: No que diz respeito ao lugar de fala, como os colegas devem sabe
discordar das suas críticas
sobre o "Ensino Colegial", mas reitero a minha questão inicial: será
que o estudo de tabelas de verdade (que, no meu entendimento, não
ajudam nada ou quase nada no quesito "métodos de demonstração") não
teriam melhor lugar, de fato, no estudo pré-univers
quando ele apresenta o "method by cases"
dele, e em seguida quando ele apresenta seu "method of contradiction".
Não há nisto tudo, em isolado, nenhuma contribuição óbvia à afirmação
inicial do curso de que ele ensinaria "how to do proofs".
Espero que estes exemplos concretos ajudem
> Obrigado pela reação, Alfredo!
Corrigindo (mais uma vez): ADOLFO!
[]s, JM
--
http://sequiturquodlibet.googlepages.com/
--
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"
;.
Posso de todo modo pedir para o meu colega fazer uma listinha. O
único exemplo específico que eu me lembro de ele ter citado na nossa
conversa foi uma justificação da estratégia dedutiva de
*contraposição* através da verificação de uma tabela de verdade
envolvendo implicação e negação.
Abraços
al" poderia imaginar, no que diz
respeito ao trabalho diário do "matemático praticante".)
%%%
Agradeço desde já aos colegas desta lista por compartilharem seus
sentimentos acerca destes assuntos.
[]s, Joao Marcos
--
http://sequiturquodlibet.googlepages.com/
--
LOGICA-L
Lista acadêmi
Mathematical Proof Between Generations
by Jonas Bayer, Christoph Benzmüller, Kevin Buzzard,
Marco David, Leslie Lamport, Yuri Matiyasevich,
Lawrence Paulson, Dierk Schleicher, Benedikt Stock,
and Efim Zelmanov
https://www.ams.org/journals/notices/202401/rnoti-p79.pdf
A proof is one of the most
-- Forwarded message -
===
QPL 2024 - Second Call for Papers
===
The 21st International Conference on Quantum Physics and Logic (QPL 2024)
Buenos Aires, Argentina, July 15-19, 2024
https://qpl2024.dc.uba.ar
Os artigos abaixo podem ser de interesse para alguns membros desta lista.
Vale recordar, a propósito, que o periódico *Logics*, completando seu
primeiro ano de vida, segue isento do pagamento de quaisquer taxas para
publicação.
[]s, Joao Marcos
-- Forwarded message -
From: MDPI
-- Forwarded message -
Two postdoctoral positions in Logic are available at the University of
Cagliari (Italy), within the the PRIN project DeKLA: Developing Kleene
Logics and their Applications
(https://sites.google.com/uniurb.it/dekla-project/).
The positions are opened at the
-- Forwarded message -
Call for Registration
Workshop: Proofs, Rules, and Meanings
11-12 April 2024
Arché Research Centre
University of St Andrews, Scotland
https://www.st-andrews.ac.uk/arche/event/workshop-proofs-rules-and-meanings/
Proof-theoretic semantics is a research
--
This is to announce that Penelope Maddy and Jouko Väänänen's book on
internal categoricity in the Cambridge Elements series:
Philosophical Uses of Categoricity Arguments
is available for free download until tomorrow, i.e. through December
19th via this link:
-- Forwarded message -
The Munich Center for Mathematical Philosophy (MCMP) is organizing the
Summer School for Widening Participation in Mathematical Philosophy,
which will take place from Monday 22 July to Friday 26 July, 2024 in
Munich, Germany. Following a series of eight
-- Forwarded message -
From: Øystein Linnebo
A three-year postdoc is advertised at the Univ. of Oslo in Formal Semantics
and/or areas of Logic or Philosophy that are relevant to Formal Semantics.
The Postdoctoral Research Fellowship is funded by the European Research
Council and
(continuando este assunto
https://groups.google.com/a/dimap.ufrn.br/g/logica-l/c/CyXK3pv7tBY/m/-M5eV-mcCQAJ
)
‘A-Team’ of Math Proves a Critical Link Between Addition and Sets
https://www.quantamagazine.org/a-team-of-math-proves-a-critical-link-between-addition-and-sets-20231206/
A team of four
(continuando este assunto
https://groups.google.com/a/dimap.ufrn.br/g/logica-l/c/CyXK3pv7tBY/m/-M5eV-mcCQAJ
)
‘A-Team’ of Math Proves a Critical Link Between Addition and Sets
https://www.quantamagazine.org/a-team-of-math-proves-a-critical-link-between-addition-and-sets-20231206/
A team of four
Enquanto detalhes mais específicos sobre o projeto Q* ainda são objeto
de especulação, aqui há alguma informação preliminar a respeito dele:
https://www.superannotate.com/blog/q-star-overview
https://youtu.be/eYgI2bCTWqM?si=hpxFL8e13irnm2EF
JM
On Tue, Dec 5, 2023 at 1:05 PM Clodomir Neto wrote:
Menos de um mês depois, a tarefa de formalização em Lean já foi concluída:
https://twitter.com/AlexKontorovich/status/1731692984771428633
JM
On Wed, Nov 15, 2023 at 8:25 PM Joao Marcos wrote:
>
> E por falar em Lean, os interessados em matemática formalizada
> provavelmente irão querer
https://youtu.be/pQsdygaYcE4?si=jHZ2ttBX-rJjGPpK
Is it possible to invent a computer that computes anything in a flash?
Or could some problems stump even the most powerful of computers? How
complex is too complex for computation? The question of how hard a
problem is to solve lies at the heart of
-- Forwarded message -
Dear all,
Applications are open for a 3-year postdoctoral position on the ERC
project Construction in the Formal Sciences (C-FORS, PI: Øystein
Linnebo (U. Oslo)):
-- Forwarded message -
From: Desidério Murcho
Caro leitor
Começa já no próximo dia 5 de Dezembro um novo curso remoto, dedicado
a alguns aspectos da filosofia da matemática. O curso será leccionado
por Daniela Soares, doutoranda na área, e decorrerá às terças e
quartas-feiras de
-104-2023/
e no site do DFil: https://fil.cfh.ufsc.br/
%%%
E aguardem: muito em breve haverá também um concurso para professor
permanente, de claro interesse para os colegas desta lista!
%%%
Joao Marcos
--
http://sequiturquodlibet.googlepages.com/
--
LOGICA-L
Lista acadêmica brasileira dos
-- Forwarded message -
The Australasian Association for Logic is hosting a Southern Summer
Logic Day (Thursday, 11 January 2024 at 23:00:00 (UTC); notice that
in AU/NZ this will be a Friday 12), to celebrate the UNESCO World
Logic Day. More details can be found on the website:
Dedekind numbers or Dedekind's problem: number of monotone Boolean
functions of n variables, number of antichains of subsets of an n-set,
number of elements in a free distributive lattice on n generators,
number of Sperner families.
https://oeis.org/A000372
> Agradeço ao Chico M, ao Eduardo O, ao Adolfo N, ao Vivek N, ao Marcelo F, ao
> Alexandre R, ao Juan Carlos AA, à Valeria dP, ao Daniel DPA, e ao João Nunes
> dS por todos os ponteiros e indicações de material pedagógico sobre traduções
> entre linguagem formal e linguagem natural. Seguirei
tomando
nota, claro, se chegar algo mais!
Tudo de bom, Joao Marcos
On Thu, Nov 16, 2023 at 10:29 AM Joao Marcos wrote:
> PessoALL:
>
> Por razões pedagógicas, estive buscando por exercícios de _tradução_
> entre "a" linguagem natural (qualquer uma que eu seja capaz de ler)
-----
>>> the mailing list is managed by Bashaar, academic community for Israeli
>>> society
>>>
>>> Academia-IL mailing list
>>> List subscription management and archive:
>>> https://listserver.cc.huji.ac.il/listinfo/academia-il
>>>
-- Forwarded message -
From: Arnon Avron
Date: Sat, Nov 18, 2023 at 7:59 AM
Subject: Fw: Open letter
To: Joao Marcos , Haim Gaifman ,
dov.gab...@kcl.ac.uk , Pym, David ,
Daniel Isaacson , Heinrich Wansing <
heinrich.wans...@ruhr-uni-bochum.de>, hellm...@umn.edu ,
Joseph
Não é só isso, né? Mesmo a "leitura em voz alta", pouco _natural', pode
ser corrigida pelo próprio ChatGPT se o usuário assim o pedir. Mas nada
justifica ele escrever "para todo cisne x, se x é um cisne..."
[]s, JM
On Fri, Nov 17, 2023, 08:27 Marcelo Finger wrote:
> Oi Alexandre.
>
> >> o
bem-vindos!
Caso seja de interesse dos colegas, posso ao final compilar aqui as
referências recebidas, na lista ou fora dela.
Saudações lógico-naturais,
Joao Marcos
--
http://sequiturquodlibet.googlepages.com/
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área
E por falar em Lean, os interessados em matemática formalizada
provavelmente irão querer ficar de olho neste projeto recente do
Terence Tao (com Tim Gowers, Ben Green, Freddie Manners):
https://terrytao.wordpress.com/2023/11/13/on-a-conjecture-of-marton/
-- Forwarded message -
Dear friends and colleagues,
we have an open call for a 2-year postdoc position in Turin (deadline is
fairly close). Please feel free to share with anyone interested.
Best wishes,
Enzo Crupi
__
*POST-DOC POSITION in Logic and Philosophy
!"
>
> I consider it to be a sociological text, and there are so many research
> programs on the Foundations of Mathematics that one cannot justify many of
> the sweeping statements which the author makes.
>
>
> Frode Alfson Bjørdal
>
> On Fri, Nov 3, 2023 at 10:03 PM Joao Marcos wrote:
O que acham os colegas disto?
What do we mean by "the foundations of mathematics"?
https://lawrencecpaulson.github.io/2023/11/01/Foundations.html
"The world has moved on. People no longer worry about the issues that
were critical in the 19th century: the role of the real numbers, the
role of
1 - 100 de 2289 matches
Mail list logo