User contributions for Wvbailey

11 April 2016

• 18:2618:26, 11 April 2016 diff hist +326 N File:Universe of discourse 1.png Uploading a self-made file using File Upload Wizard Tag: Imported with FileImporter

24 December 2015

• 15:5415:54, 24 December 2015 diff hist +357 N File:Moves of a 3-state Busy Beaver.jpg Uploading a self-made file using File Upload Wizard Tag: Imported with FileImporter

4 November 2015

• 00:5200:52, 4 November 2015 diff hist +6 File:Veitch and Karnaugh truth table 4.jpg Undid revision 688898026 by Smjg (talk)"badjpeg"? Tag: Imported with FileImporter

11 November 2012

• 23:1923:19, 11 November 2012 diff hist +176 User talk:Zerodamage →Nice job with the svg of a composite function + a request: excellent!

3 August 2012

• 18:4818:48, 3 August 2012 diff hist +322 N File:Function image 1.png Uploading a self-made file using File Upload Wizard Tag: Imported with FileImporter
• 18:4218:42, 3 August 2012 diff hist 0 File:Function preimage 1.png Wvbailey uploaded a new version of "w:File:Function preimage 1.png": Add labels to y-axis pre-image range [1.0, 2.5] Tag: Imported with FileImporter
• 18:3818:38, 3 August 2012 diff hist +295 N File:Function preimage 1.png Uploading a self-made file using File Upload Wizard Tag: Imported with FileImporter
• 18:3518:35, 3 August 2012 diff hist +307 N File:Function image and preimage 4.png Uploading a self-made file using File Upload Wizard Tag: Imported with FileImporter
• 13:0113:01, 3 August 2012 diff hist 0 File:Function image and preimage 3.png Wvbailey uploaded a new version of "w:File:Function image and preimage 3.png": Reverted to version as of 12:55, 3 August 2012 Tag: Imported with FileImporter
• 12:5912:59, 3 August 2012 diff hist 0 File:Function image and preimage 3.png Wvbailey uploaded a new version of "w:File:Function image and preimage 3.png": Try again. Remove the axis arrows. Tag: Imported with FileImporter
• 12:5512:55, 3 August 2012 diff hist 0 File:Function image and preimage 3.png Wvbailey uploaded a new version of "w:File:Function image and preimage 3.png": remove axis arrows (File Upload Wizard) Tag: Imported with FileImporter

2 August 2012

• 20:5720:57, 2 August 2012 diff hist +442 N File:Function image and preimage 3.png Uploading a self-made file using File Upload Wizard Tag: Imported with FileImporter
• 20:0920:09, 2 August 2012 diff hist 0 File:Function image and preimage 2.png Wvbailey uploaded a new version of "w:File:Function image and preimage 2.png": Repair 0's cut off (File Upload Wizard) Tag: Imported with FileImporter
• 19:4819:48, 2 August 2012 diff hist +334 N File:Function with two values.png Uploading a self-made file using File Upload Wizard Tag: Imported with FileImporter
• 18:5618:56, 2 August 2012 diff hist +306 N File:Function image and preimage 2.png Uploading a self-made file using File Upload Wizard Tag: Imported with FileImporter
• 17:2017:20, 2 August 2012 diff hist +565 N File:Function image and preimage 1.png Uploading a self-made file using File Upload Wizard Tag: Imported with FileImporter
• 17:1117:11, 2 August 2012 diff hist 0 File:Function image and preimage 1.gif Wvbailey uploaded a new version of "w:File:Function image and preimage 1.gif": Another try to eliminate the artifacts (File Upload Wizard) Tag: Imported with FileImporter
• 17:0617:06, 2 August 2012 diff hist 0 File:Function image and preimage 1.gif Wvbailey uploaded a new version of "w:File:Function image and preimage 1.gif": Correct problem with artifact dots (File Upload Wizard) Tag: Imported with FileImporter
• 16:5916:59, 2 August 2012 diff hist +330 N File:Function image and preimage 1.gif Uploading a self-made file using File Upload Wizard Tag: Imported with FileImporter

1 August 2012

• 20:2620:26, 1 August 2012 diff hist +342 N File:Function color example 2.gif Uploading a self-made file using File Upload Wizard Tag: Imported with FileImporter
• 14:5414:54, 1 August 2012 diff hist +257 N File:Function color example 1.gif Uploading a self-made file using File Upload Wizard Tag: Imported with FileImporter

25 April 2012

• 16:4716:47, 25 April 2012 diff hist 0 File:Uncompleted-universe argument against double-negative 1.tif Wvbailey uploaded a new version of "w:File:Uncompleted-universe argument against double-negative 1.tif": Added 3rd image to reinforce the point that NOT(NOT-X) <> NOT-X if the universe of discourse is expanding. Tag: Imported with FileImporter
• 14:3114:31, 25 April 2012 diff hist +282 N File:Uncompleted-universe argument against double-negative 1.tif Brouwerian argument against the Law of Excluded Middle applied to a universe of discourse that is "uncompleted". Drawing shows a logical universe that is expanding, and the failure of the double-negative to incorporate the expansion. Tag: Imported with FileImporter

19 April 2011

• 22:0722:07, 19 April 2011 diff hist 0 File:Euclid's algorithm function box.png uploaded a new version of File:Euclid's algorithm function box.png: There's still a problem with the "input" region and the "output" region that does the transduction from mechanical switches etc into numbers, but I don't have a good source.
• 20:0320:03, 19 April 2011 diff hist 0 File:Euclid's algorithm function box1.png uploaded a new version of File:Euclid's algorithm function box1.png: {{Information |Description ={{en|1=Simpler version of Euclid's_algorithm_function_box.png}} |Source ={{own}} |Author =Wvbailey |Date = |Per
• 20:0320:03, 19 April 2011 diff hist +305 N File:Euclid's algorithm function box1.png {{Information |Description ={{en|1=Simpler version of Euclid's_algorithm_function_box.png}} |Source ={{own}} |Author =Wvbailey |Date = |Permission = |other_versions = }} [[Category:Mathematical diagrams]
• 19:2119:21, 19 April 2011 diff hist 0 File:Euclid's algorithm function box.png uploaded a new version of File:Euclid's algorithm function box.png: Has some internal elements to the function box -- the "finite, discrete, numbered list of instructions", an "effective agent", and a few arrows
• 18:1918:19, 19 April 2011 diff hist +396 N File:Euclid's algorithm function box.png {{Information |Description ={{en|1=Simple diagram to illustrate that an algorithm is/represents a mathematical function with INPUT, OUTPUT, an EXECUTIVE (device: human or mechanical).}} |Source ={{own}} |Author =[[User:Wvbailey|Wvbailey

13 April 2011

• 00:4600:46, 13 April 2011 diff hist +306 N File:Wild cassowary walking at Mission Beach IMG 3933.jpg {{Information |Description ={{en|1=Wild cassowary walking down road in South Mission Beach.}} |Source ={{own}} |Author =Wvbailey |Date = |Permission = |other_versions = }} [[Category:Austrailian wildlife
• 00:4300:43, 13 April 2011 diff hist +323 N File:Wild cassowary at Mission Beach IMG 3926.jpg {{Information |Description ={{en|1=Wild cassowary photographed on roadway in south Mission Beach Austrailia.}} |Source ={{own}} |Author =Wvbailey |Date = |Permission = |other_versions = }} [[Category:Aus

8 April 2011

• 18:3118:31, 8 April 2011 diff hist +337 N File:Quantification rules per Reichenbach.png {{Information |Description ={{en|1=Adapted from 2 drawings that appear in Reichenbach 1980:93-95, plus formulas on p. 94.}} |Source ={{own}} |Author =Wvbailey |Date = |Permission = |other_versions = }} [

6 April 2011

• 17:5717:57, 6 April 2011 diff hist 0 File:Kleene 3-valued logic.png uploaded a new version of File:Kleene 3-valued logic.png: Added table for "complete" equivalence as opposed to weak equivalence. Category:Mathematical logic
• 17:2417:24, 6 April 2011 diff hist +7 User:Wvbailey No edit summary current
• 17:2317:23, 6 April 2011 diff hist +287 N File:Cassowary's baleful gaze.jpg {{Information |Description ={{en|1=The photo of this friendly fellow was taken in the wild, not at a zoo. }} |Source ={{own}} |Author =Wvbailey |Date = |Permission = |other_versions = }}
• 17:1817:18, 6 April 2011 diff hist +140 N User:Wvbailey ←Created page with ''''Bold text''' Same wvbailey as the one at www.en.wikipedia.com. thumbnail|The baleful eye of Bill.'
• 17:1417:14, 6 April 2011 diff hist +304 N File:SQL 3-valued logic1.png {{Information |Description ={{en|1=Derived from the truth tables given in the SQL article. }} |Source ={{own}} |Author =Wvbailey |Date = |Permission = |other_versions = }} Category:Mathematical logic
• 15:3215:32, 6 April 2011 diff hist +329 N File:Lukasiewicz 3-valued logic.png {{Information |Description ={{en|1=The tables that differ from Kleene's 3-valued logic given in Kleene 1952:332-335.}} |Source ={{own}} |Author =Wvbailey |Date = |Permission = |other_versions = }} [[Cate

5 April 2011

• 13:4113:41, 5 April 2011 diff hist +257 N File:Kleene 3-valued logic.png {{Information |Description ={{en|1=Truth tables for Kleene's 3-valued logic.}} |Source ={{own}} |Author =Wvbailey |Date = |Permission = |other_versions = }}

22 February 2011

• 16:1016:10, 22 February 2011 diff hist +430 N File:Russell PM 1+1=2.png {{Information |Description ={{en|1=image of the point in the text where Russell deduces that 1+1=2.}} |Source =First edition of Principia Mathematica Volume II, 1912 p. 86 |Author =wvbailey created this from a www.google.books pdf cc of

8 February 2011

• 19:2219:22, 8 February 2011 diff hist 0 File:Euclid's algorithm Book VII Proposition 2 3.png uploaded a new version of File:Euclid's algorithm Book VII Proposition 2 3.png: Minor adjustments: change "CF" to "FC", add 3*FC and 1*FC beneath bars, align labelling Category:Mathematical proof
• 18:5218:52, 8 February 2011 diff hist 0 File:Euclid's algorithm structured blocks 1.png uploaded a new version of File:Euclid's algorithm structured blocks 1.png: Change := to arrow. Category:Mathematical proof

2 February 2011

• 17:2217:22, 2 February 2011 diff hist 0 File:Euclid's algorithm Book VII Proposition 2 3.png uploaded a new version of File:Euclid's algorithm Book VII Proposition 2 3.png: Category:Mathematical proof
• 17:0717:07, 2 February 2011 diff hist 0 File:Euclid's algorithm Book VII Proposition 2 3.png uploaded a new version of File:Euclid's algorithm Book VII Proposition 2 3.png: Category:Mathematical proof

1 February 2011

• 23:4323:43, 1 February 2011 diff hist +387 N File:Euclid's algorithm Book VII Proposition 2 3.png {{Information |Description ={{en|1=Another possible illustration for Euclid's algorithm with Nicomachus' example colored in the same way as Euclid's. Derived from Heath 1908.}} |Source ={{own}} |Author =Wvbailey |Date
• 20:4720:47, 1 February 2011 diff hist +352 N File:Euclid's algorithm Book VII Proposition 2 4.png {{Information |Description ={{en|1=Illustration derived from Heath 1908 showing Euclid's algorithm for finding the greatest common divisor}} |Source ={{own}} |Author =Wvbailey |Date = |Permission = |other

31 January 2011

• 16:2116:21, 31 January 2011 diff hist +314 N File:Euclid's algorithm structured blocks 1.png {{Information |Description ={{en|1=Examples of the three Boehm-Jacopini canonical program structures.}} |Source ={{own}} |Author =Wvbailey |Date = |Permission = |other_versions = }} [[Category:Mathematic

30 January 2011

• 22:5122:51, 30 January 2011 diff hist 0 File:Euclid's algorithm Inelegant program 1.png uploaded a new version of File:Euclid's algorithm Inelegant program 1.png: Category:Mathematical proof

29 January 2011

• 23:1423:14, 29 January 2011 diff hist 0 File:Euclid flowchart 1.png uploaded a new version of File:Euclid flowchart 1.png: Category:Mathematical Proof
• 23:0823:08, 29 January 2011 diff hist 0 File:Euclid flowchart 1.png uploaded a new version of File:Euclid flowchart 1.png: Category:Mathematical proof

28 January 2011

• 20:3820:38, 28 January 2011 diff hist +421 N File:Euclid's algorithm Inelegant program 1.png {{Information |Description ={{en|1=Knuth's version of Euclid's algorithm for calculating the greatest common divisor, translated almost verbatim from Knuth's description (E0 - E3) cf Knuth 1973:2-4.}} |Source ={{own}} |Author =[[User:Wv