Suchergebnisse
Suchergebnisse:
30. Mai 2024 · Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa We study an extension of monadic second-order logic of order with the uncountability quantifier "there exist uncountably many sets".
14. Mai 2024 · Following Rasiowa and Sikorski (1963), a mechanization of the process of deduction in mathematics is of no practical importance – since the aim of mathematicians is to discover interesting true statements (but not merely to deduce true statements) [ 9, p. 201].
Vor 5 Tagen · Paul Erdős (1913–1996) was a Hungarian mathematician. He considered mathematics to be a social activity and often collaborated on his papers, having 511 joint authors, many of whom also have their own collaborators. The Erdős number measures the "collaborative distance" between an author and Erdős.
25. Mai 2024 · Książka Wstęp do matematyki współczesnej Helena Rasiowa.
31. Mai 2024 · Helena Rasiowa: Formalized omega +-valued Algorithmic Systems. Bull. Acad. Pol. des Sci. Ser. Sci. Math. Astron. Phys. 21 (6): 559-566 (1973)
29. Mai 2024 · [3] Helena Rasiowa and Roman Sikorski, Panstwowe Wydawnlctwo Naukowe Warszawa, The Mathemayics of Metamathematics , (1963). [4]Roman Sikorski, Springer-Verlag,
Vor 4 Tagen · Elena Kolbasnikova und Max Schlund, Putin-Unterstützer aus Köln, sind nach eigenen Angaben nach Russland geflüchtet. In Deutschland warten Verfahren.
