Have a deep view into what people are curious about.

🔗 Philosophy 🔗 Philosophy/Logic 🔗 Philosophy/Contemporary philosophy 🔗 Philosophy/Philosophy of religion 🔗 Christianity 🔗 Christianity/theology 🔗 Military history/European military history

Gödel's ontological proof is a formal argument by the mathematician Kurt Gödel (1906–1978) for the existence of God. The argument is in a line of development that goes back to Anselm of Canterbury (1033–1109). St. Anselm's ontological argument, in its most succinct form, is as follows: "God, by definition, is that for which no greater can be conceived. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist." A more elaborate version was given by Gottfried Leibniz (1646–1716); this is the version that Gödel studied and attempted to clarify with his ontological argument.

Gödel left a fourteen-point outline of his philosophical beliefs in his papers. Points relevant to the ontological proof include

4. There are other worlds and rational beings of a different and higher kind.

5. The world in which we live is not the only one in which we shall live or have lived.

13. There is a scientific (exact) philosophy and theology, which deals with concepts of the highest abstractness; and this is also most highly fruitful for science.

14. Religions are, for the most part, bad—but religion is not.

🔗 United States/U.S. Government 🔗 United States 🔗 Medicine 🔗 Economics 🔗 Politics 🔗 Geography

Universal healthcare (also called universal health coverage, universal coverage, or universal care) is a health care system in which all residents of a particular country or region are assured access to health care. It is generally organized around providing either all residents or only those who cannot afford on their own, with either health services or the means to acquire them, with the end goal of improving health outcomes.

Universal healthcare does not imply coverage for all cases and for all people – only that all people have access to healthcare when and where needed without financial hardship. Some universal healthcare systems are government-funded, while others are based on a requirement that all citizens purchase private health insurance. Universal healthcare can be determined by three critical dimensions: who is covered, what services are covered, and how much of the cost is covered. It is described by the World Health Organization as a situation where citizens can access health services without incurring financial hardship. The Director General of WHO describes universal health coverage as the “single most powerful concept that public health has to offer” since it unifies “services and delivers them in a comprehensive and integrated way”. One of the goals with universal healthcare is to create a system of protection which provides equality of opportunity for people to enjoy the highest possible level of health.

As part of Sustainable Development Goals, United Nations member states have agreed to work toward worldwide universal health coverage by 2030.

🔗 Alternative Views

🔗 International relations 🔗 France 🔗 Italy 🔗 Telecommunications 🔗 United Kingdom 🔗 Law Enforcement 🔗 Netherlands 🔗 Crime and Criminal Biography 🔗 Crime and Criminal Biography/Organized crime

EncroChat was a Europe-based communications network and service provider that offered modified smartphones allowing encrypted communication among subscribers. It was used primarily by organized crime members to plan criminal activities. Police infiltrated the network between at least March and June 2020 during a Europe-wide investigation. An unidentified source associated with EncroChat announced on the night of 12–13 June 2020 that the company would cease operations because of the police operation.

The service had around 60,000 subscribers at the time of its closure. As a result of police being able to read unencrypted EncroChat messages, at least 1,000 arrests had been made across Europe as of 22 December 2020.

🔗 United States 🔗 Crime 🔗 Television 🔗 Chicago 🔗 Illinois 🔗 United States/American television

A broadcast signal hijacking of two television stations in Chicago, Illinois was carried out on November 22, 1987, in an act of video piracy. The stations' broadcasts were interrupted by a video of an unknown person wearing a Max Headroom mask and costume, accompanied by distorted audio.

The first incident took place for 25 seconds during the sports segment of WGN-TV's 9:00 p.m. news broadcast; the second occurred around two hours later, for about 90 seconds during PBS affiliate WTTW's broadcast of Doctor Who.

The hacker made references to Max Headroom's endorsement of Coca-Cola, the TV series Clutch Cargo, WGN anchor Chuck Swirsky; and "all the greatest world newspaper nerds", a reference to WGN's call letters, which stand for "World's Greatest Newspaper". A corrugated panel swiveled back and forth mimicking Max Headroom's geometric background effect. The video ended with a pair of exposed buttocks being spanked with a flyswatter before normal programming resumed. The culprits were never caught or identified.

🔗 Novels 🔗 Transhumanism

The Metamorphosis of Prime Intellect is a 1994 novel by Roger Williams, a programmer living in New Orleans. It deals with the ramifications of a powerful, superintelligent supercomputer that discovers god-like powers to alter reality while studying a quirk of quantum physics discovered during the prototyping of its own specialised processors, ultimately heralding a technological singularity. After remaining unpublished for years, the novel was published online in 2002, hosted by Kuro5hin; Williams later published a print edition via print-on-demand publisher Lulu. One reviewer called the novel "a well-written and very creative, if flawed, piece of work" and ranked it as one of the more important works of fiction to deal with the idea of a technological singularity.

🔗 Technology 🔗 Computing 🔗 Computer science 🔗 Systems 🔗 Business 🔗 Computing/Software 🔗 Systems/Software engineering

A fourth-generation programming language (4GL) is any computer programming language that belongs to a class of languages envisioned as an advancement upon third-generation programming languages (3GL). Each of the programming language generations aims to provide a higher level of abstraction of the internal computer hardware details, making the language more programmer-friendly, powerful, and versatile. While the definition of 4GL has changed over time, it can be typified by operating more with large collections of information at once rather than focusing on just bits and bytes. Languages claimed to be 4GL may include support for database management, report generation, mathematical optimization, GUI development, or web development. Some researchers state that 4GLs are a subset of domain-specific languages.

The concept of 4GL was developed from the 1970s through the 1990s, overlapping most of the development of 3GL, with 4GLs identified as "non-procedural" or "program-generating" languages, contrasted with 3GLs being algorithmic or procedural languages. While 3GLs like C, C++, C#, Java, and JavaScript remain popular for a wide variety of uses, 4GLs as originally defined found uses focused on databases, reports, and websites. Some advanced 3GLs like Python, Ruby, and Perl combine some 4GL abilities within a general-purpose 3GL environment, and libraries with 4GL-like features have been developed as add-ons for most popular 3GLs, producing languages that are a mix of 3GL and 4GL, blurring the distinction.

In the 1980s and 1990s, there were efforts to develop fifth-generation programming languages (5GL).

🔗 Internet 🔗 Internet culture 🔗 Economics 🔗 Sociology

Enshittification, also known as platform decay, is a way to describe the pattern of decreasing quality of online platforms that act as two-sided markets. Enshittification can be seen as a form of rent-seeking. Examples of alleged enshittification have included Google Search, Amazon, Bandcamp, Facebook, Reddit, and Twitter.

🔗 Chess 🔗 Japan

Taikyoku shōgi (Japanese: 大局将棋) lit. "ultimate chess" is the largest known variant of shogi (Japanese chess). The game was created around the mid-16th century (presumably by priests) and is based on earlier large board shogi games. Before the rediscovery of taikyoku shogi in 1997, tai shogi was believed to be the largest playable chess variant ever. It has not been shown that taikyoku shogi was ever widely played. There are only two sets of restored taikyoku shogi pieces and one of them is held at Osaka University of Commerce. One game may be played over several long sessions and require each player to make over a thousand moves.

Because the game was found only recently after centuries of obscurity, it is difficult to say exactly what all the rules were. Several documents describing the game have been found; however, there are differences between them. Many of the pieces appear in other shogi variants but their moves may be different. The board, and likewise the pieces, were made much smaller, making archeological finds difficult to decipher. Research into this game continues for historical and cultural reasons, but also to satisfy the curious and those who wish to play what could be the most challenging chess-like game ever made. More research must be done however. This article focuses on one likely set of rules that can make the game playable in modern times but is by no means canon. These rules may change as more discoveries are made and secrets of the game unlocked.

Further, because of the terse and often incomplete wording of the historical sources for the large shogi variants, except for chu shogi and to a lesser extent dai shogi (which were at some points of time the most prestigious forms of shogi being played), the historical rules of taikyoku shogi are not clear. Different sources often differ significantly in the moves attributed to the pieces, and the degree of contradiction (summarised below with the listing of most known alternative moves) is such that it is likely impossible to reconstruct the "true historical rules" with any degree of certainty, if there ever was such a thing. It is not clear if the game was ever played much historically, as there is no record of any sets having been made.