|
|
computability theory
<mathematics> The area of theoretical computer science
concerning what problems can be solved by any computer.
A function is computable if an algorithm can be implemented
which will give the correct output for any valid input.
Since computer programs are countable but real numbers are
not, it follows that there must exist real numbers that
cannot be calculated by any program. Unfortunately, by
definition, there isn't an easy way of describing any of them!
In fact, there are many tasks (not just calculating real
numbers) that computers cannot perform. The most well-known
is the halting problem, the busy beaver problem is less
famous but just as fascinating.
["Computability", N.J. Cutland. (A well written
undergraduate-level introduction to the subject)].
["The Turing Omnibus", A.K. Dewdeney].
(1995-01-13)
Try this search on OneLook / Google
Nearby terms:
CompuServe Corporation « CompuServe Information Service « Compusult Ltd. « computability theory » computable » Computational Adequacy Theorem » computational complexity
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
2,000 Music Clips2,000 Music Clips When words aren't enough, you can say it with music from this great collection! A symphony or the blues, jazz, classical, rock, pop, instrumental, Latin and more - make your PC or email fun! Windows 95/98/ME/2000/XP More ...
Tortoise &the HareTortoise &the Hare The race between the slow-and-steady tortoise and the hurry-up hare has entertained children for countless generations. From start to finish, this Living Book version includes dozens of hilarious new twists. Ages 3-8. Windows 95/98/2000/ME/XP and Mac More ...
Artec DR-RE12A DVD+RW Recorder &DVD Player (Sil)Artec DR-RE12A DVD+RW Recorder &DVD Player (Sil) ** Artec DR-RE12A DVD+RW Recorder and Player **This Artec DR-RE12A system features a DVD+RW recorder and player, along with a digital audio playback system. It features one-touch recording, MPEG 4 Video Playback, 181 channel TV tuner with scheduling features, and more! The Vacuum Fluorescent Display on the front panel shows the information you need about the current playing mode. It includes a 5.1 Channel Dolby Digital audio output for surround sound capabilities. With this Artec DR-RE12A recorder, you can play audio CDs, MP3s, watch DVDs or VCDs, or record from different audio/video input sources!General Features:- Silver - DVD+R/RW recorder- Region 1- Record TV program into DVD+R/RW disc in real time - 5 Selectable recording modes up to 6 hours- Built-in 181 channel TV tuner with scheduling features- One-touch recording- 5.1 Channel Dolby Digital Audio Output- MPEG 4 Video Playback- Vacuum Fluorescent Display (VFD)- Progressive Scan Output- NTSC Format: 60 Hz scan frequency- PAL Format: 50 Hz scan frequency- NTSC: 525 number of lines- PAL: 620 number of linesSupported Write Formats:- DVD+R- DVD+RWSupported Disc Formats:- DVD- DVD+R- DVD+RW- DVD-R Video mode- DVD-RW Video mode- CD - CD-DA- VCD- SVCD- MP3- JPEG- Kodak Picture CDRemote Control Features:- Stand By- GoTo- Display- Eject- Zoom- SUB-T- Audi- Angle- A-B- Repeat- Source- DVD/TV- Setup- Clear- Enter- 4-way buttons- Rec- Step- Stop- Play- Pause- Slow- Rew- FF- Prev- Next- 0 - 9 numeric- + 10- Volume- Title- DVD Digest- Shuffle- Mute- Program- PBC- PAL/NTSCFront Panel Features:- Power button- Audio L/R and Video Inputs- Record button- Vacuum Fluorescent Display (VFD)- Open/Close button- Play button- Pause button- Stop button- FF/FRRear Panel Features:- RF out - RF in- Video in- Two (2) S-Video connectors- Audio L/R in- Component Pb/Y/Pr- Video- 5.1 Channel audio out (FR/Center/SR/FL/SW/SL)- Coaxial- Optical- AC inPower Specifications:- 100-240 VAC, 50/60 Hz, 25 WUnit Dimensions:- 3.5 x 17 x 11.75-inches (H x W x D)Regulatory Approvals:- FCC- Retail PackageIncludes:- Artec DR-RE12A DVD+RW Recorder and Player- Quick Start- Manual- Remote control- Two (2) AAA batteries for remote control- RCA cable- Power Cord- Two (2) Blank DVD+RW recordable mediaNotes:- This recorder only records to DVD+R/RW media, not toDVD-R/RW media. Compatibility/Requirements/Disclosures:** Requirements *** Video/Audio source with S-Video, component, or component jacks* TV antenna, tuner, coaxial jacks* Available power outlet More ...
Panasonic Toughbook 1.44 Floppy DrivePanasonic Toughbook 1.44 Floppy Drive ** Panasonic Toughbook 1.44 Floppy Drive **General Features:- Designed for the Panasonic Toughbook 27 and 28 models- Original Panasonic- Plug in type floppy drive moduleIncludes:- Drive only More ...
Serious Sam: The First Encounter (Palm)Serious Sam: The First Encounter (Palm) Mankind has made an unbelievable discovery of enormous scientific and historical significance. Too bad it will lead to the Earth's destruction. Now there's only one hope, Sam Serious Stone. And Serious Sam has only one chance to save humanity. For Palm OS &Handspring Visors with a Windows 98/ME/2000/XP PC. More ...
Ms. Pac-Man: Quest for the Golden MazeMs. Pac-Man: Quest for the Golden Maze She's Tough. She's Round. She's Hungry for Luscious, Colorful Fruit. It's MS. PAC-MAN in an all-new series of challenging mazes. Have fun again and escape to a world of frantic, ghost-gobbling action! Windows95/98/ME/2000/XP More ...
|
