Em 3 de maio de 2018 11:55, Yair Benjamini <jaare.ore...@gmail.com> escreveu:
> 2018-05-03 7:25 GMT-03:00 Anderson Torres <torres.anderson...@gmail.com>:
>> Em 1 de maio de 2018 18:54, Yair Benjamini <jaare.ore...@gmail.com> escreveu:
>>> 2018-04-29 10:26 GMT-03:00 Anderson Torres <torres.anderson...@gmail.com>:
>>>> Em 25 de abril de 2018 22:27, Jaare Oregim <jaare.ore...@gmail.com>
>
>>> não entendi, foi dito q a definição é recursiva. Então, entendo que I seja a
>>> "base" e II o "passo".
>>> se é definição, então é "se e somente se", logo pra pertencer ao conjunto
>>> deve ser por um de dois motivos, I ou II;
>>> de modo que 1 não pertenceria ao conjunto.
>>[...]
>> Não tem essa de "se é definição então é se e somente se". Acredito que
>> nenhum dicionário descreve "definição" como equivalente a "então é se
>> e somente se".
>
> isso não é questão de dicionário, é convenção.
Engraçado, pois todo livro que conheço que usa definições recursivas
não faz nenhuma suposição desse gênero, e quando dela precisa, afirma
explicitamente que não há outros elementos além dos que podem ser
gerados a partir de tais e tais leis de formação.
Para dar um exemplo concreto, tenho o "Elements of Theory of
Computation". Eis um exercício:
1.4.3.
Let C be a set of sets defined as follows,
A. {} is in c
B. If S1 is in C and S2 is in C, then {S1,S2} is in C.
C. If S1 is in C and S2 is in C, then S1 x S2 is in C.
D. Nothing is in C except that which follows from A), B), and C).
> Todo livro que eu conheço e que fala sobre definição recursiva de conjunto
> avisa que "ficará
> assumido implicitamente que ....."
Este problema que o postador original trouxe é de algum livro que você conhece?
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.
>
>
> =========================================================================
> Instru�ões para entrar na lista, sair da lista e usar a lista em
> http://www.mat.puc-rio.br/~obmlistas/obm-l.html
> =========================================================================
--
Esta mensagem foi verificada pelo sistema de antiv�rus e
acredita-se estar livre de perigo.
=========================================================================
Instru��es para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~obmlistas/obm-l.html
=========================================================================
