A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
In this short position paper we briefly review the development history of automated inductive theorem proving and computer-assisted mathematical induction. ... Our main motivation is to explain--on an abstract but hopefully sufficiently descriptive level--why we believe that future progress in the field is to result from human-orientedness and descente infinie ... Moreover, it is a pleasure to thank Tobias for the wonderful years we shared working on QUODLIBET and descente infinie. ...doi:10.1093/jigpal/jzr048 fatcat:qps74fzzmngmzaluxlcaqogt4y
We review the history of the automation of mathematical induction ... Why descente infinie and human-orientedness should remain on the agenda for induction in mathematics assistance systems is explained in the manifesto [ Wirth, 2012c ] . ... Because this aspect of implicit induction can facilitate the human-oriented induction method described in § 4.6, the name descente infinie was coined for it (cf. § 4.7). ...arXiv:1309.6226v5 fatcat:i7nzngq47zfd7its4kfynlfpti
After a fine-grained analysis of the polysemous verb tomar, the study provides a tentative list of lexical features that function as semantic links between the lexical units within the polysemous tomar ... According to this hypothesis, light verbs are paradigmatically related to their heavier counterparts and syntagmatically to the nouns within the same LVC by means of components of meaning called lexical ... Acknowledgments The draft of this paper has been read and commented upon by Ju. Apresjan, D. Beck, I. Boguslavskij, S. Kahane, J. Mili evi , and A. ...doi:10.1075/li.00005.san fatcat:aqtad7regneflhblei7agmwzj4
Film and philosophy have also had a productive relation in recent years. ... Different philosophical fields have addressed film, from the philosophy of art to the philosophy of mind, yet philosophy of religion has been a field lacking in the discussion of film. ... In Gamer (2009), humanity is threatened by a mind control technology that has been adopted to allow computer game players to control real people as the characters in their gladiator games. ...doi:10.17613/m6z26s fatcat:higz66bixnb57h6j4j4ligudpq