Yuri Gurevich's lecture on the concept of algorithm #formalisingthenotionofalgorithm #dagstuhl #philosophyofcomputing
2
0
1
0
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
Submissions for IACAP 2016 are open June 14-17, 2016 @IACAP @D'@mardagostino #philosophyofcomputing #computerethics
http://www.iacap.org/iacap-2016/
The CFP for this year joint meeting of IACAP and INSEIT is now out http://www.iacap.org #philosophyofcomputing #computerethics #iacap