User contributions for Wvbailey
A user with 6,019 edits. Account created on 4 January 2006.
12 March 2021
- 23:3823:38, 12 March 2021 diff hist 0 m Liquid-crystal display spelling of "competitiveness" not "competivivness"
3 January 2020
- 15:1715:17, 3 January 2020 diff hist −53 m Counter-machine model Remove "no sources" banner
- 15:1515:15, 3 January 2020 diff hist −1,624 m Counter-machine model →References: Removed references not specific to counter-machine models.
- 14:4214:42, 3 January 2020 diff hist +6,913 m Counter-machine model copy references over from counter-machine article, these are the same set of references
14 April 2018
- 20:2020:20, 14 April 2018 diff hist −3 m Logical possibility Changed "logically possibility" to "logically possible". "Logically" is an adverb, and "possibility" is a noun. Adverbs do not modify nouns; they can modify adjectives. Or this could the noun-phrase be "logical possiblity"
16 February 2018
- 03:5003:50, 16 February 2018 diff hist +496 Algorithm characterizations Undid revision 825644120 by 103.247.48.76 (talk) Tag: Undo
20 October 2017
- 19:0419:04, 20 October 2017 diff hist +834 Talk:Algorithm →Captions under illustrations: response
19 October 2017
- 20:4720:47, 19 October 2017 diff hist +941 Algorithm Undid revision 806110326 by GiovanniSidwell (talk) See talk page. Don't revert this until you and others respond.
- 20:4320:43, 19 October 2017 diff hist +617 Talk:Algorithm →Facebook and Google and Coatracks: Captions under illustrations
- 00:2900:29, 19 October 2017 diff hist +941 Algorithm Undid revision 805779028 by GiovanniSidwell (talk)not helpful, does not improve article
10 October 2017
- 20:1320:13, 10 October 2017 diff hist 0 m Aluminium gallium indium phosphide →Properties: Decap Red
27 September 2017
- 01:2201:22, 27 September 2017 diff hist +834 m Talk:Turing machine →Bad explanation in the second paragraph: Erasure vs writing, blank versus non-blank squares
- 00:5700:57, 27 September 2017 diff hist +16 Turing machine Undid revision 802555155 by Ubershmekel (talk)d
9 August 2017
- 22:1822:18, 9 August 2017 diff hist −18 Canonical normal form Undid revision 794674182 by Special:Contributions/2405:205:208F:87F3:0:0:1493:F8B1
8 August 2017
- 01:0501:05, 8 August 2017 diff hist −221 Talk:George Stibitz Undid revision 794382991 by 73.69.251.194 (talk) What does a time machine have to do with Stibitz?
2 May 2017
- 14:3914:39, 2 May 2017 diff hist −1,362 Algorithm Undid revision 778334750 by 41.218.255.133 (talk)
13 January 2017
- 02:1202:12, 13 January 2017 diff hist +96 Principia Mathematica →An introduction to the notation of "Section A Mathematical Logic" (formulas ✸1–✸5.71): Emenderizing the good catch. . .
25 November 2016
- 17:5617:56, 25 November 2016 diff hist −5 m Turing machine →Turing machine "state" diagrams: Corrected drawing (last line of table 11H1111 -> 1H11111), see talk page
22 September 2016
- 23:4523:45, 22 September 2016 diff hist +426 Algorithm Undid revision 740704745 by 106.66.235.18 (talk)
23 August 2016
- 22:4622:46, 23 August 2016 diff hist −13 Church–Turing thesis Undid revision 735876101 by DanielVallstrom (talk)what does this sic-business ?
10 August 2016
- 17:4117:41, 10 August 2016 diff hist +766 Talk:Hilbert's problems →Dubious: removed references
- 14:1914:19, 10 August 2016 diff hist +860 Hilbert's problems Undid revision 733808660 by Banedon (talk)wrong
7 August 2016
- 13:3213:32, 7 August 2016 diff hist −20 Turing machine Undid revision 733380241 by 38.121.66.133 (talk)
- 13:3113:31, 7 August 2016 diff hist +14 Algorithm →Testing the Euclid algorithms: clarified, removed flag
18 July 2016
- 19:3919:39, 18 July 2016 diff hist +118 Talk:Reductio ad absurdum →PM's formal definition of a reductio ad absurdum + Reichenbach + Tarski: correct the PM definition of a sorites
- 19:2919:29, 18 July 2016 diff hist +4,431 Talk:Reductio ad absurdum →A B.A. in Philosophy Makes you a Philosopher?: a detailed look at the definition of "reductio ad absurdum"
16 June 2016
- 13:3413:34, 16 June 2016 diff hist +20 Algorithm Undid revision 725559826 by 50.244.8.98 (talk)
5 June 2016
- 23:4623:46, 5 June 2016 diff hist +664 Talk:Algorithm →"Most algorithms are intended to be implemented as computer programs."
11 May 2016
- 18:5218:52, 11 May 2016 diff hist +4,358 Talk:Gödel's incompleteness theorems →first sentence again: A more-formal version, again in Goedel's own words
10 May 2016
- 06:2506:25, 10 May 2016 diff hist +36 Gödel's incompleteness theorems The commentary is by Parsons and Sieg, not Nagel.
9 May 2016
- 20:5720:57, 9 May 2016 diff hist +370 Gödel's incompleteness theorems Took a chance here -- "a certain expressive power" is too vague; in the man's words: "every formal system containing arithmetic".
23 April 2016
- 14:3714:37, 23 April 2016 diff hist +1,324 Talk:Gödel's incompleteness theorems →Discussion: In my humble opinion . . ..
22 April 2016
- 14:3814:38, 22 April 2016 diff hist 0 m Gödel's incompleteness theorems →Wittgenstein: correct page number [197 -> 179]
- 14:1314:13, 22 April 2016 diff hist +57 Gödel's incompleteness theorems →Wittgenstein: clarify Goedel's frustration with Wittgenstein; add more of the quote; see the history archive for even more pique
21 April 2016
- 22:0422:04, 21 April 2016 diff hist +845 User talk:CBM →Motion: Carl Hewitt unbanned with restrictions: Hewitt edits: Maybe you can illuminate the murk that clouds my mind
15 April 2016
- 13:3413:34, 15 April 2016 diff hist +3,621 Talk:Venn diagram →Lead paragraph wording: universal set as critical part of the definition: More confusion including Venn's use of shading various regions to exclude them
14 April 2016
- 15:4215:42, 14 April 2016 diff hist +4,452 Talk:Venn diagram →Definition of U?: lead sentence, improving the article in general
11 April 2016
- 18:4018:40, 11 April 2016 diff hist +513 Talk:Venn diagram →Definition of U?: try again
- 18:3018:30, 11 April 2016 diff hist +83 Talk:Venn diagram →Definition of U?: add a candidate drawing. Comments anyone?
- 16:0616:06, 11 April 2016 diff hist +533 Talk:Venn diagram →recently added animation: distracting, move too fast, off-topic
- 15:5615:56, 11 April 2016 diff hist +279 User talk:Lfahlberg →Hang in there: Universe U at Venn diagram.
- 15:5415:54, 11 April 2016 diff hist +3,130 Talk:Venn diagram →Definition of U?: You are correct, the article is quite deficient in this respect.
6 April 2016
- 15:4115:41, 6 April 2016 diff hist +4,086 Talk:Gödel's incompleteness theorems →RfC formal system: oppose, with suggestions
30 March 2016
- 15:3615:36, 30 March 2016 diff hist +169 Pi →Further reading: Add Hardy and Wright 1938, 2000 edition
- 15:3315:33, 30 March 2016 diff hist +395 Pi →Irrationality and transcendence: add a short sentence (quotation) that Hilbert and Hurwitz "and others" simplified the Lindemann proof
- 15:1415:14, 30 March 2016 diff hist +146 Pi →Irrationality and transcendence: Add footnote with original location of Lindemann's version of the proof
- 14:3814:38, 30 March 2016 diff hist +800 Wikipedia:Arbitration/Requests/Clarification and Amendment →Statement by User:Charles Matthews: comment
29 March 2016
- 17:5117:51, 29 March 2016 diff hist −62 Law of excluded middle Undid revision 712532821 by 66.213.14.116 (talk)
24 March 2016
- 14:3114:31, 24 March 2016 diff hist +393 Type theory →History: Try this wording. The details and sources are in the History article.
- 13:5813:58, 24 March 2016 diff hist −765 Type theory Undid revision 711715180 by Ancheta Wis (talk)Not an improvement, to say the least.
