By Mark van Atten

Can a line be analysed mathematically any such manner that it doesn't collapse right into a set of discrete issues? Are there items of natural arithmetic which may swap via time? L. E. J. Brouwer argued that the 2 questions are similar and that the reply to either is "yes", introducing the concept that of selection sequences. This publication topics Brouwer's selection sequences to a phenomenological critique within the sort of Husserl.

Show description

Read Online or Download Brouwer meets Husserl: On the Phenomenology of Choice Sequences: 335 (Synthese Library) PDF

Best logic books

Proofs of the Cantor-Bernstein Theorem: A Mathematical by Arie Hinkis PDF

This publication bargains an expedition during the developmental zone of analysis arithmetic. It provides a few forty papers, released among the 1870s and the Seventies, on proofs of the Cantor-Bernstein theorem and the similar Bernstein department theorem. whereas the emphasis is put on offering actual proofs, just like the originals, the dialogue is broadened to incorporate features that pertain to the technique of the advance of arithmetic and to the philosophy of arithmetic.

Read e-book online Die Gödel'schen Unvollständigkeitssätze: Eine geführte Reise PDF

Im Jahr 1931 erschien im Monatsheft für Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. In dieser Arbeit hat Kurt Gödel zwei Unvollständigkeitssätze bewiesen, die unseren Blick auf die Mathematik von Grund auf verändert haben.

Read e-book online Matrix Logic: Theory and Applications PDF

During this pioneering paintings, the writer develops a primary formula of good judgment when it comes to thought of matrices and vector areas. the invention of matrix common sense represents a landmark within the additional formalization of common sense. For the 1st time the ability of direct mathematical computation is utilized to the total set of common sense operations, permitting the derivation of either the classical and modal logics from an identical formal base.

Inductive Logic Programming: 25th International Conference, by Katsumi Inoue,Hayato Ohwada,Akihiro Yamamoto PDF

This e-book constitutes the completely refereed post-conference lawsuits of the twenty fifth overseas convention on Inductive common sense Programming, ILP 2015, held in Kyoto, Japan, in August 2015. The 14 revised papers offered have been rigorously reviewed and chosen from forty four submissions. The papers specialize in subject matters equivalent to theories, algorithms, representations and languages, structures and purposes of ILP, and canopy all components of studying in common sense, relational studying, relational facts mining, statistical relational studying, multi-relational info mining, relational reinforcement studying, graph mining, connections with different studying paradigms, between others.

Extra resources for Brouwer meets Husserl: On the Phenomenology of Choice Sequences: 335 (Synthese Library)

Example text

Download PDF sample

Rated 4.10 of 5 – based on 23 votes