Yuri Gurevich's lecture on the concept of algorithm #formalisingthenotionofalgorithm #dagstuhl #philosophyofcomputing

The notation for natural numbers: which one is intended and the mathematical practice arguments are forbidden
#computingbook #philosophyofnotation #philosophyofcomputing

IACAP 2016 | International Association for Computing and ... International Association for Computing and Philosophy - ...

Submissions for IACAP 2016 are open June 14-17, 2016 @IACAP @D'@mardagostino #philosophyofcomputing #computerethics
http://www.iacap.org/iacap-2016/

International Association of Computing and Philosophy IACAP exists to promote scholarly dialogue and research o...

The CFP for this year joint meeting of IACAP and INSEIT is now out http://www.iacap.org #philosophyofcomputing #computerethics #iacap