23 Mar
2015
23 Mar
'15
2:35 p.m.
="Guy Haworth" <g.haworth@reading.ac.uk> Are there simple examples of 'equivalence', T1 --> T2 and T2 --> T1 (setting up loop T1 --> T2 --> T1) that could be explained to school children?
Are these too trivial? A = B + C B = A - C C = A - B Might one take the first as given, prove the second as T1 then show it implies the third as T2, and vice versa?