O assunto parece bastante interessante!!!
[]s
Juan Carlos
On Wed, Jan 31, 2024 at 10:59 AM 'samuel' via LOGICA-L <
logica-l@dimap.ufrn.br> wrote:
> ... Nao resisti a fazer uma busca aqui, e para o Joel David Hamkins pelo
> menos essa ponte da minha mensagem anterior existe, ver a resposta dele
... Nao resisti a fazer uma busca aqui, e para o Joel David Hamkins pelo
menos essa ponte da minha mensagem anterior existe, ver a resposta dele em
https://mathoverflow.net/questions/30631/computability-and-geometry
[]s Samuel
Em quarta-feira, 31 de janeiro de 2024 às 16:52:00 UTC+1, samuel
Olás,
Nao respondendo mas pondo um pouquinho de tempero na coisa,
Lembro que Tarski fez uma axiomatizacao da geometria elementar que é
"decidable"...
Uma possível ponte entre essas nocoes e Turing computability ?
Abracos
[]s Samuel
Em quarta-feira, 31 de janeiro de 2024 às 15:49:20 UTC+1,
Ao parecer, a proposição recíproca está também em aberto, i.e. toda função
que pode ser computada usando origami é Turing computável?
E considerando as relações entre origami e construções geométricas que
mencionam Samuel e João Marcos, me pergunto também o seguinte: existe
alguma relação entre
... Touché !!!
Isso me lembra mais o joguinho de tentar descobrir a història completa
através de respostas "sim", "nao" e "irrelevante".
O exemplo mais clássico é: "homem olha pro lado, acende um fósforo e morre".
... ao cabo de meia hora, uma hora, trabalhando em grupo dá pra recuperar a
E por falar em CSPs
(https://en.wikipedia.org/wiki/Constraint_satisfaction_problem),
aproveito para perguntar se alguém teria referências a oferecer aqui
sobre procedimentos de tradução automática entre soluções para estes
tipos de problemas e derivações em cálculo de sequentes ou outros
Em tempo:
Eu escrevi K PROLOG mas o correto é Constraint Logicc Pograming.
Obviamente o puzzle tem o propósito de fazer raciocinar sobre o clima, e
parece que o sol tem um papel importante:
https://judithcurry.com/2023/11/04/solving-the-climate-puzzle-the-suns-surprising-role/
Abs
W.
Em
> *
>
> O encapsulamento do código evita que o cliente faça perguntas
> bobas,
> como "será que {a}∈(a,b)?"
>
... Hum, perguntei aqui pra eles (os fas de origami, conheço alguns de
fato) e a coisa do espirografo pra eles é só lembranca da infância (o que é
meio a cara deles também). Se aparecer algo de referencia técnica eu volto
aqui e aviso...
[]s Samuel
Em quarta-feira, 31 de janeiro de 2024 às
*
O encapsulamento do código evita que o cliente faça perguntas bobas,
como "será que {a}∈(a,b)?"
Este puzzle é analogo ao famoso "Zebra Puzzle" ou "Enstein's Puzzle", e se
resolve facilmente com Prolog:
https://github.com/pjpjq/zebra-puzzle
Escrevi uma vez um programinha numa versao de K-Prolog, mas não me lembro
mais. Com paciência talvez o encontre, se alguém se interessar...
No fundo é
> E conversando com uns amigos aqui apareceu a seguinte referência (mais
> técnica) que chega
> a criar o "corpo dos números origamicos" (!!!)
Bacana!
Veja aí com os seus amigos se eles não produzem uma referência técnica
também sobre os números espirográficos! (ou ao menos uma referência
geral
> Essa questao da "coisa" x "implementacao da coisa", eu confesso que em geral
> os teoristas de conjuntos ficamos meio viciados nisso (guilty as charged),
Os matemáticos poderiam aqui (e não só aqui) aprender algo, talvez,
com os cientistas da computação, que estão acostumados a implementar
... Opa,
E conversando com uns amigos aqui apareceu a seguinte referência (mais
técnica) que chega
a criar o "corpo dos números origamicos" (!!!)
New York Journal of Mathematics
New York J. Math. 6 (2000) 119–133.
A Mathematical Theory of Origami Constructions
and Numbers
Roger C. Alperin
> ... Sobre origamis,
>
> Origamis (principalmente por permitir movimentos do tipo "deslizar", o que aí
> já entra topologia além
> da geometria) sao capazes de "performar" operacoes que a régua e o compasso
> nao permitem
> (nao sei se isso aparece na reportagem que nao consegui ler, se estou
Olás,
Essa questao da "coisa" x "implementacao da coisa", eu confesso que em
geral os teoristas de conjuntos ficamos meio viciados nisso (guilty as
charged),
Entao se você me perguntar o que *é* o par ordenado (a,b) a tendência é que
eu diga que
(a,b) = { {a}, {a,b} }
Mas esse tipo de
... Sobre origamis,
Origamis (principalmente por permitir movimentos do tipo "deslizar", o que
aí já entra topologia além
da geometria) sao capazes de "performar" operacoes que a régua e o compasso
nao permitem
(nao sei se isso aparece na reportagem que nao consegui ler, se estou
chovendo no
17 matches
Mail list logo