Os termos em inglês são: fibering, fibration, fiber spaces, fiber bundles.
Fibrilação conheço como fibrilation, um termo médico.
Obrigado, Walter, pelo esclarecimento.
2011/10/9 Walter Carnielli
> Dória,
>
> o termo que se usa é *fibrilação* de lógicas (fibring}. Tem algo
> a ver com ``f
Dória,
o termo que se usa é *fibrilação* de lógicas (fibring}. Tem algo
a ver com ``fibração'', mas mais inspiração que qualquer
outra coisa. E quem cunhou o termo foi o Dov Gabbay.
Abs,
Walter
Em 9 de outubro de 2011 18:53, Francisco Antonio Doria
escreveu:
> Não se o motivo d
Não se o motivo de vcs usarem o nome ``fibração'' aqui, mas só para fixar
ideias:
- um espaço fibrado parte de uma base e de uma fibra.
- a base é em geral uma variedade diferenciável; a fibra, um espaço
vetorial, dotado de topologia compatível com sua estrutura algébrica, ou um
grupo de Lie.
-
obrigado.
2011/10/9 Tony Marmo
> Muito simples:
>
> A Aritmética é um sistema formal;
>
> A Lógica de Primeira Ordem também.
>
> Agora, suponha que, como um Hilbert mais ingênuo, há uma lógica por detrás
> da Aritmética, que ninguém sabe qual é.
> O que havia por detrás da hipótese do Hilbert er
Muito simples:
A Aritmética é um sistema formal;
A Lógica de Primeira Ordem também.
Agora, suponha que, como um Hilbert mais ingênuo, há uma lógica por detrás
da Aritmética, que ninguém sabe qual é.
O que havia por detrás da hipótese do Hilbert era a idéia de que a
Matemática seria uma lógica, m
Obrigado, Walter. Espaços fibrados aparecem muito em geometria, mas em lógica
desconhecia o conceito.
Sent from my iPhone
On 09/10/2011, at 09:53, Walter Carnielli wrote:
> Olá Dória,
>
>
> não sei o que o Tony quer dizer com isso, mas o assunto de
> fibrilação de lógicas (fibring}
Olá Dória,
não sei o que o Tony quer dizer com isso, mas o assunto de
fibrilação de lógicas (fibring} e muito mais sobre combinações de
lógicas é o tema do nosso livro:
W. A. Carnielli, M. E. Coniglio, D. Gabbay, P. Gouveia and C.
Sernadas. Analysis and Synthesis of Logics. How to Cut
Conheço fibração em geometria. Como é em lógica?
2011/10/9 Valeria de Paiva
> oi Tony,
> >We can look back at Goedel's work as one early attempt of fibring of
> formal systems.
> e', a gente sempre pode "look at anything as anything", mas qual 'e a
> sua evidencia de que isso 'e util? o que voc
oi Tony,
>We can look back at Goedel's work as one early attempt of fibring of formal
>systems.
e', a gente sempre pode "look at anything as anything", mas qual 'e a
sua evidencia de que isso 'e util? o que voce acha que ganha com essa
interpretacao?
obrigada,
valeria
2011/10/1 Tony Marmo :
> D
Dear friends,
We can look back at Goedel's work as one early attempt of fibring of formal
systems. Thus, the problem of determining the consistency and the
completeness of the system seems to be like the same problem for a given
logic L which is obtained by the fibring of two logics L* and L**. Fi
Faço minhas as palavras do Walter, em especial o que ele disse quanto à
maneira como se deve fazer ciência. Parabéns ao Tausk e ao Rodrigo. Foi um
prazer acompanhar os debates desta última semana.
Em 1 de outubro de 2011 14:21, Walter Carnielli
escreveu:
> Caros colegas:
>
> como vimos, o Ed Nel
11 matches
Mail list logo