4 Hits in 5.9 sec

Computer-assisted human-oriented inductive theorem proving by descente infinie--a manifesto

C.-P. Wirth
2012 Logic Journal of the IGPL  
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

Automation of Mathematical Induction as part of the History of Logic [article]

J Strother Moore, Claus-Peter Wirth
2014 arXiv   pre-print
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

From the heavy to the light verb

Begoña Sanromán Vilas
2018 Lingvisticæ investigationes  
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

Cinema: Journal of Philosophy and the Moving Image, no. 4, "Philosophy of Religion" [article]

HC User, Sérgio Dias Branco
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