|
|
intuitionistic logic
<logic, mathematics> Brouwer's foundational theory of
mathematics which says that you should not count a proof of
(There exists x such that P(x)) valid unless the proof
actually gives a method of constructing such an x. Similarly,
a proof of (A or B) is valid only if it actually exhibits
either a proof of A or a proof of B.
In intuitionism, you cannot in general assert the statement (A
or not-A) (the principle of the excluded middle); (A or
not-A) is not proven unless you have a proof of A or a proof
of not-A. If A happens to be undecidable in your system
(some things certainly will be), then there will be no proof
of (A or not-A).
This is pretty annoying; some kinds of perfectly
healthy-looking examples of proof by contradiction just stop
working. Of course, excluded middle is a theorem of
classical logic (i.e. non-intuitionistic logic).
History.
(2001-03-18)
Try this search on OneLook / Google
Nearby terms:
Intrusive Testing « Intuition « intuitionism « intuitionistic logic » intuitionistic probability » intuitionist logic » invariant
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
IBM Cel 550MHz 64MB 5GB CD No FDD 13.3'' TFT - BIBM Cel 550MHz 64MB 5GB CD No FDD 13.3'' TFT - B ** IBM ThinkPad iSeries Celeron 550 MHz Notebook **The IBM ThinkPad i Series notebook computer delivers fantastic performance at an attractive price. It features an Intel Celeron 550 MHz processor, 64 MB RAM, and a 5 GB hard disk drive. The 13.3-inch TFT screen provides clear, crisp viewing at 1024 x 768 resolutions. Audio, video, modem and Ethernet are all integrated as well. Get this IBM ThinkPad i Series notebook today and join the notebook revolution!General Features:- Grade B- Intel Celeron 550 MHz processor- 64 MB RAM (192 MB maximum)- 5 GB hard drive- CD-ROM drive (speeds may vary)- No Floppy disk drive- Silicon Motion LynxEM4+ integrated video w/ 4 MB VRAM- Integrated audio with built-in speakers- Integrated modem- Integrated Ethernet controller- 85-key keyboard w/ trackpoint mouse- 13.3-inch TFT display with 1024 x 768 maximum resolution- Ni-MH rechargeable battery (9.6V, 4.5AH)Expansion Slots:- Two (2) PCMCIA Type I/II slots or one Type IIII/O Ports:- One (1) PS/2 port- One (1) 15-pin standard VGA connector- One (1) 25-pin standard parallel port- Two (2) USB ports- One (1) RJ-11 standard phone jack- One (1) RJ-45 standard Ethernet jack- Microphone and headphone jacksRegulatory Approvals:- UL- FCC- CEPackage Includes:- IBM ThinkPad i Series refurbished notebook- AC adapter (100-240V, 50/60Hz)- Power cordNotes:- IBM Type: 1171-71U- No Floppy drive- Battery is not covered under the warranty- The battery is not guaranteed to hold a charge- Does not include OS, drivers, documentation, etc. Compatibility/Requirements/Disclosures:** Requirements *** Operating System (OS)* Drivers for installed devices* Available power outlet** Refurbished Notebook Grades *** Grade B * Notebook is in very good condition * Has Cosmetic Blemishes, examples of which are (but not limited to): * Scratches in case * Scratches in the screen * Hairline crack in case * Dead pixels (5 or less) * Missing doors * May be missing manual, drivers, operating system, carryingcases * Battery is not guaranteed to hold a full charge * Battery is not covered under warranty * All specific issues will be noted in the ad * Etc. More ...
HP ScanJet 5550c 48-Bit USB Flatbed ScannerHP ScanJet 5550c 48-Bit USB Flatbed Scanner ** HP ScanJet 5550c 48-Bit Flatbed USB Scanner **This HP Scanjet 5550c scanner features professional quality scanning capabilities at 2400 dpi and 48-bit color. It supports the use of an automatic document feeder, enabling you to scan multiple pages quickly and easily. This flatbed scanner supports high speed USB 2.0 connection and manages documents with the included ScanSoft PaperPort software. For fast scanning of text, graphics, and photos, get your HP ScanJet 5550c Scanner today!General Features:- Flatbed scanner- USB 2.0 interface- 2400 dpi optical resolution- 2400 x 2400 dpi hardware resolution- 48-bit color- 7-second preview scan- 7 one touch buttons- Multi-page scanning using the included 35-page automatic document feeder- Charged-coupled device scanning elementScanner Dimensions:- 3.6 x 19.3 x 13.5-inches (H x W x D)Automatic Document Feeder Dimensions:- 3.1 x 18.5 x 12.5-inches (H x W x D)Regulatory Approvals:- UL- CE- FCC- MIC- TUV/GS- C-Tick- Gost-RRetail Package Includes:- HP ScanJet 5550c 48-BitFlatbed USB Scanner- Automatic Document Feeder- Setup- User's manual- HP Photo and Imaging Software- USB cable- AC adapter (100-240V,50/60Hz, 850mA)- Power cordNotes:- Model: C9919AR- UPC: 8 08736 47277 7 Compatibility/Requirements/Disclosures: ** Requirements *** PC Requirements:* Pentium II/Celeron processor or compatible* Windows 98/ME/2000/XP* 64 MB RAM (128 MB recommended)* 400 MB hard disk space (50 MB for full color scanning, plus 50 MB for scanned images)* SVGA 800 x 600 16-bit color monitor* CD-ROM drive* Available USB port (USB 2.0 compatible)* Available power outlet* Macintosh Requirements:* Power PC processor* Mac OS 9.1/OS X 10.1.2 or higher* 64 MB RAM (128 MB recommended)* 150 MB available hard disk space* CD-ROM drive* Available USB port (USB 2.0 compatible)* Available power outlet Informational Links: http://www.hp.com More ...
Dell 59TJG 4MB AGP AIMM ModuleDell 59TJG 4MB AGP AIMM Module ** Dell 59TJG 4MB AGP AIMM Module **** General Features:* 4MB Video Memory Card* Fits into AGP slot* Adds 4MB to onboard video ** Notes:* Dell P/N: 59TJG* Proprietary Dell 4MB Video Memory Card (AIMM Module) More ...
USB Mobile Charger for Ericsson Cell PhonesUSB Mobile Charger for Ericsson Cell Phones ** USB Mobile Charger for Ericsson Cell Phones **Easily charge your cell phone directly from the USB port onyour PC, Mac, or notebook. This USB Mobile Phone Charger eliminates the need for bulky power adapters while you travel. This mobile charger is compatible with most Ericsson cell phones (see list below) and is perfect for people who are always on the go!General Features:- Charge mobile phone via PC, Mac, or notebook's USB port- Lightweight and compact charger - No additional software required- Plug and Play- 5V input power- 500 mA charging current- Recharge Time: About 1 hour (depending on battery)- 60-inch cord length (approximate)Supported Ericsson Cell Phone Series:- 6xx- 7xx- 8xx- T10- T18- A1018- R250- R2810Retail Blister Pack Includes:- USB Mobile Charger for Ericsson Cell Phones Compatibility/Requirements/Disclosures: ** Requirements *** PC or Mac with USB port* Supported Ericsson Cell Phones More ...
Alchemy Eye PRO 7.6Server (TCP IP, ICMP, IPX SPX, Oracle, MS SQL, NT EventLog) monitoring tool
SoftwareWe now carry products from Planet CDRom and offer great software at super low prices!
|
