Latin

Noun

reductiō (genitive reductiōnis); f, third declension

  1. A bringing back, a leading back.
  2. A restoring, restoration.

Inflection

Number Singular Plural nominative reductiō reductiōnēs genitive reductiōnis reductiōnum dative reductiōnī reductiōnibus accusative reductiōnem reductiōnēs ablative reductiōne reductiōnibus vocative reductiō reductiōnēs

Related terms

Descendants

Category: Latin nouns

From Wiktionary under the GNU Free Documentation License.
Mon Jul 6 00:01:07 2009

Reductio is open source software written using the Java Programming Language from an idea that originated in a research paper called QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. Reductio and QuickCheck utilise a testing technique called Automated Specification-based Testing.

The primary objective of Reductio is to make testing as rigorous as possible, while alleviating developer effort through automation of many common testing tasks. Reductio includes usage examples that demonstrate how this objective has been met using both traditional Java 1.5 and Java 7 BGGA syntax as well as Scala programming language examples .

Example

The following example uses Java 7 BGGA syntax to execute 100 unit tests on java.util.LinkedList. It asserts that when a list (x) is appended to another list (y), then the size() of the resulting list (xy) is equivalent to the sum of the size() of the two original lists.

Property p = property(arbLinkedList(arbInteger), arbLinkedList(arbInteger), {
LinkedList<Integer> x, LinkedList<Integer> y =>
prop(append(x, y).size() == x.size() + y.size())
});

From Wikipedia under the GNU Free Documentation License
Thu Aug 13 20:20:29 2009

 reductio ad hitlerum
favoritematt.blogspot.com
reductio ad hitlerum

uncle matt

Sun, 08 Nov 2009 16:09:00 GM

Reductio. ad Hitlerumand Godwin's Law (the first to mention Hitler in an argument automatically looses) Latin for "reduction or argument to Adolf Hitler or the Nazis") is an ad hominem ...

The reductio ad absurdum of iconoclasm
jcoolio.wordpress.com
The reductio ad absurdum of iconoclasm

jo533281

Mon, 26 Oct 2009 00:12:32 GM

Had I took a second look at my thought process, I would have noticed the . reductio. ad absurdum in my argument. If verse four was my hermeneutic for the legitimacy of icons (or lack thereof) then I guess that means that every image that ...

intaglio on reductio
fontstruct.fontshop.com
intaglio on reductio

unknown

Fri, 31 Jul 2009 22:00:07 GM

spot the wild children.

From Google Blog Search: "reductio"
Sun Nov 15 16:13:53 2009

Manhattan in the near future - Los Angeles Times
news.google.com
Manhattan in the near future

Los Angeles Times

This is reductio ad absurdum (nothing could be less erotic), or maybe not: It can't just be medical professionals who are watching surgical procedures on ...
Thach c a Euclide - Bao Khoa h c
news.google.com
Thach c a Euclide

Bao Khoa h c

Saccheri b chinh ph c m nh m b i ph ng phap ch ng minh logic c g i la reductio ad absurdum (ph ng phap ph n ch ng) ma Euclide a s d ng. ...
 Milano gestira i treni: servizio migliore - Corriere della Sera
news.google.com
Milano gestira i treni: servizio migliore

Corriere della Sera

La nuova societa - che avra sede a Milano, ma ancora non si sa dove - e frutto della reductio ad unum (come l'ha chiamata il presidente Roberto Formigoni) ...

Via alle Ferrovie lombarde ma le Nord non spariranno L'Espresso

Nasce Trenitalia&LeNord, joint venture per il trasporto su rotaia ... Affaritaliani.it



all 48 news articles &raquo;

From Google News Search: "reductio"
Mon Aug 10 09:26:24 2009

reductio books jpg
64.62.198.10
reductio books jpg
180px x 124px | 6.70kB

[source page]



t 3e799dec24cec7a27a5992a4a9eb7026 jpg
allclassical.org
t 3e799dec24cec7a​27a5992a4a9eb70​26 jpg
103px x 150px | 6.70kB

[source page]

Reductio ad Absurdum The New York Times Science section of April 8 had a story of a Canadian woman a scientist who left her career for personal reasons and took up painting She was

zuihitsu jpg
reductioland.net
zuihitsu jpg
300px x 194px | 18.10kB

[source page]



From Yahoo Image Search: "reductio"
Sun Aug 23 16:35:57 2009