Decision Problem
Tags: decisionproblem, problem, decision, turing, church, work, heavily, earlier, given, gödel, theorem, incompleteness, influenced, considered, influential, authors, especially, kurt, assigning, logic, arithmetic, wikipedia, negative, reduce, order, generally, numbers, logical, formulas, method, halting, algorithm, defined, recursive, functions, proved, entscheidungsproblem, independently, shortly, alan,
Decisionproblem.com
|
Content Revalency:
Title: 100.00%
Description: 0.00%
Keywords: 0.00% | Document size: 1,621 bytes
More info: Whois - Trace Route - RBL Check |
|
| DECISIONPROBLEM.COM - Site Location | |
| Country/Flag | |
| City/Region/Zip Code | Orange, California, 92865 |
| Organization | Lunar Pages |
| Internet Service Provider | Lunar Pages |
| DECISIONPROBLEM.COM - Domain Information | |
| Domain | DECISIONPROBLEM.COM [ Traceroute RBL/DNSBL lookup ] |
| Registrar | Network Solutions, LLC. NETWORK SOLUTIONS, LLC. |
| Whois server | whois.verisign-grs.com |
| Created | 07-Jan-2004 |
| Updated | 12-Oct-2017 |
| Expires | 06-Jan-2021 |
| Time Left | 1174 days 20 hours 13 minutes |
| Status | clientTransferProhibited https://icann.org/epp#clientTransferProhibited clientTransferProhibited https://icann.org/epp#clientTransferProhibited |
| DNS servers | NS1.DIGITALOCEAN.COM 69.55.61.14 NS2.DIGITALOCEAN.COM 69.55.56.66 NS3.DIGITALOCEAN.COM 69.55.62.20 |
| DECISIONPROBLEM.COM - DNS Information | |
| IP Address | 67.210.124.60 ~ Whois - Trace Route - RBL Check |
| Domain Name Servers | ns3.lunarpages.com 216.227.220.3 ns2.lunarpages.com 216.227.215.2 ns1.lunarpages.com 74.50.4.2 |
| Mail Exchange | decisionproblem.com 45.55.60.124 |
| Site Response Header | |
| Response | HTTP/1.1 200 OK |
| Server | Apache/1.3.42 (Unix) Resin/2.1.13 mod_fastcgi/2.4.6 mod_log_bytes/1.2 mod_bwlimited/1.4 mod_auth_passthrough/1.8 FrontPage/5.0.2.2635 mod_ssl/2.8.31 OpenSSL/0.9.7a |
| Date | Sun, 10 Apr 2011 20:30:23 GMT |
| Content-Type | text/html |