Revision as of 03:01, 27 November 2005 edit CarlHewitt (talk \| contribs) 5,700 edits →Further editing needed ← Previous edit		Revision as of 03:12, 27 November 2005 edit undo CSTAR (talk \| contribs) Extended confirmed users 8,870 edits m →Further editing needed Next edit →
Line 55: ::::::The usual meaning of logical truths in mathematical logic is that they are tautologies.--[[User:CarlHewitt\|Carl Hewitt]] 03:01, 27 November 2005 (UTC) ::::::: I'm sorry, perhaps I wasn't clear enough. Let me repeat the question: ''Is the intended meaning of the statement in the article, the assertion that the arrival orderings (expressed as relations between events) are not tautologies? Why should one ever expect them to be tautologies? Thanks --[[User:CSTAR\|CSTAR]] 03:12, 27 November 2005 (UTC) == Merged in [[Actor model, mathematical logic, and physics]] ==

Talk:Indeterminacy in concurrent computation: Difference between revisions