Revision as of 02:54, 27 November 2005 edit CSTAR (talk \| contribs) Extended confirmed users 8,870 edits →Further editing needed ← Previous edit		Revision as of 03:01, 27 November 2005 edit undo CarlHewitt (talk \| contribs) 5,700 edits →Further editing needed Next edit →
Line 53: ::::: ARe you saying that the arrival orderings aren't logical truths? --[[User:CSTAR\|CSTAR]] 02:54, 27 November 2005 (UTC) ::::::The usual meaning of logical truths in mathematical logic is that they are tautologies.--[[User:CarlHewitt\|Carl Hewitt]] 03:01, 27 November 2005 (UTC) == Merged in [[Actor model, mathematical logic, and physics]] ==

Talk:Indeterminacy in concurrent computation: Difference between revisions