With the intention of defining an initial research agenda for discipline-specific factors in the usability of elearning websites, this paper focuses on the example of foreign language learning. First, general notions and concepts of usability are analyzed, and the term 'pedagogical usability' is proposed as a means of focusing on the close relationship between usability and pedagogical design. ...

Some have claimed that Gödel’s incompleteness theorems on the formal axiomatic model of mathematical thought can be used to demonstrate that mind is not mechanical, in opposition to a Formalist-Mechanist Thesis. Following an explanation of the incompleteness theorems and their relationship with Turing machines, we here concentrate on the arguments of Gödel (with some caveats) and Lucas among ot...

We present a rst order untyped axiomatization of mathematics where proofs are objects in the sense of Heyting-Kolmogorov functional interpretation. The consistency of this theory is open. Key-words: formalization of mathematics, set theory, functionnal interpretation of proofs, re ection, G odel's theorem, Tarski's theorem (R esum e : tsvp) [email protected] Unit e de recherche INRIA Rocqu...