... 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 mo
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 pensam
> ... 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
>
... 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
Dispo
> 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
novo
> 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
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 é
*
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 1
> *
>
> O encapsulamento do código evita que o cliente faça perguntas
> bobas,
> como "será que {a}∈(a,b)?"
> **
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
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
formalismo
... 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
hist
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
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, j
... 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 es
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 e
17 matches
Mail list logo
