Revision as of 03:44, 27 November 2005 edit CarlHewitt (talk \| contribs) 5,700 edits m →Further editing needed ← Previous edit		Revision as of 02:37, 2 December 2005 edit undo Arthur Rubin (talk \| contribs) Extended confirmed users, Rollbackers 130,168 edits →Merged in [[Actor model, mathematical logic, and physics]] Next edit →
Line 67: I merged in [[Actor model, mathematical logic, and physics]] as per discussion pages.--[[User:CarlHewitt\|Carl Hewitt]] 23:16, 26 November 2005 (UTC) == Disputed == Here we go again. I'm not saying that mathematical logic can predict the outcome of a calculation, because of the indeterminancy, but it ''can'' determine a set of possible computations, and potentially verify that any terminating calculation solves the desired problem. [[User:Arthur Rubin\|Arthur Rubin]] \| [[User_talk:Arthur_Rubin\|(talk)]] 02:37, 2 December 2005 (UTC)

Talk:Indeterminacy in concurrent computation: Difference between revisions