133 research outputs found

    Eine Verallgemeinerung eines Satzes von M. Deuring

    Get PDF

    Introduction. The School: Its Genesis, Development and Significance

    Get PDF
    The Introduction outlines, in a concise way, the history of the Lvov-Warsaw School – a most unique Polish school of worldwide renown, which pioneered trends combining philosophy, logic, mathematics and language. The author accepts that the beginnings of the School fall on the year 1895, when its founder Kazimierz Twardowski, a disciple of Franz Brentano, came to Lvov on his mission to organize a scientific circle. Soon, among the characteristic features of the School was its serious approach towards philosophical studies and teaching of philosophy, dealing with philosophy and propagation of it as an intellectual and moral mission, passion for clarity and precision, as well as exchange of thoughts, and cooperation with representatives of other disciplines.The genesis is followed by a chronological presentation of the development of the School in the successive years. The author mentions all the key representatives of the School (among others, Ajdukiewicz, Lesniewski, Łukasiewicz,Tarski), accompanying the names with short descriptions of their achievements. The development of the School after Poland’s regaining independence in 1918 meant part of the members moving from Lvov to Warsaw, thus providing the other segment to the name – Warsaw School of Logic. The author dwells longer on the activity of the School during the Interwar period – the time of its greatest prosperity, which ended along with the outbreak of World War 2. Attempts made after the War to recreate the spirit of the School are also outlined and the names of followers are listed accordingly. The presentation ends with some concluding remarks on the contribution of the School to contemporary developments in the fields of philosophy, mathematical logic or computer science in Poland

    Groups connected with Boolean algebras. (Partial solution of the problem P92)

    No full text

    L'oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique

    No full text

    On the principle of dependent choices

    No full text

    An undecidable arithmetical statement

    No full text

    On automorphisms of relatively free groups

    No full text

    Models of axiomatic systems

    No full text

    On computable sequences

    No full text

    A formula with no recursively enumerable model

    No full text
    corecore