Cientistas poperianos e cientistas confiáveis

20 dezembro 2019, 16:00 • José Félix Costa

Seminário dos alunos Miguel Cabral (Cientistas Popperianos) e Luís Fonseca (Cientistas Confiáveis).

Baire topological space

17 dezembro 2019, 10:00 • José Félix Costa

Seminário da Mariana (Aula transferida para sexta-feira 20, às 18h, na sala P3)

Baire topological spaces. Fans and handles.

Caracterization of limit points in the Baire spaces. Relation between limit points and inductive scepticism.

Trees. n-uniform sets and uniformity.

Introduction to the application of the Baire spaces to several degrees of verification, refutation and decision: 'which topology of observations permits science to happen?'.

Enumeração de classes de funções

13 dezembro 2019, 16:00 • José Félix Costa

Discussão da tese do Bruno Patrício.

Vacillatory identification of sets

10 dezembro 2019, 10:00 • José Félix Costa

(Osherson and Weinstein, Case) Vacillatory TxtFex^a_b-identification. Classes TxtFex^a_ b.

(Case) That TxtFex^0_ {n+1}  -  TxtFex*_n =\= \emptyset  and  TxtFex^{n+1}_ 1  -  TxtFex^n_* =\= \emptyset (and other limit cases).

That vacillatory identification improves inductive infering power in set identification.

Set identification with errors (part 2)

6 dezembro 2019, 16:00 • José Félix Costa

Structural relationships between the TxtEx and TxtBc hierarchies: TxtEx* \notin TxtBc; TxtBc \notin TxtEx*; for all n \in N, TxtEx^2n \subseteq TxtBc^n; for all n \in N, TxtEx^{2n+1} - TxtBc^n =/= \emptyset.

That TxtBc \subset TxtBc^1 \subset ... \subset TxtBc* (the non-collapsing character of TxtBc hierarchy).