Account Options

  1. Sign in
The old Google Groups will be going away soon.
Switch to the new Google Groups.
Google Groups Home
« Groups Home
sci . logic
This is a Usenet group - learn more
Find or start a Google Group about logic.
Group info
Language: English
Group categories:
Science and Technology
More group info »
Discussions
View:  Topic list, Topic summary Topics 1 - 10 of 26956  Older »
Description: Logic -- math, philosophy & computational aspects.
 

sciencentechnologies 
  Science is a systematic enterprise that builds and organizes knowledge in the form of testable explanations and predictions about the universe. In an older and closely related meaning, "science" refers to the body of reliable knowledge itself, of the type that can be logically and rationally explained since classical antiquity science... more »
By science technologies  - 8:47am - 1 new of 1 message    

Matheology § 018 
  Feferman and Levy showed that one cannot prove that there is any non- denumerable set of real numbers which can be well ordered. Moreover, they also showed that the statement that the set of all real numbers is the union of a denumerable set of denumerable sets cannot be refuted. [Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy: "Foundations... more »
By WM  - 8:00am - 6 new of 6 messages    

On the definition of Mathematics and its completeness 
  In post titled "mathematics is" I had presented a definition of mathematics, to re-iterate: Mathematics is the investigation of behaviors that are formalizable in consistent formal systems extending logic. Although the concept is correct yet it is immense. There are infinitely many consistent formal systems that can extend logic, and... more »
By Zuhair  - 6:07am - 2 new of 2 messages    

EINSTEIN WRESTLING WITH AN UNSOLVABLE PROBLEM 
  [link] John Stachel: "But here he ran into the most blatant-seeming contradiction, which I mentioned earlier when first discussing the two principles. As noted then, the Maxwell-Lorentz equations imply that there exists (at least) one inertial frame in which the speed of light is a constant regardless of the motion of the light source. Einstein's version of the relativity principle (minus the ether) requires that, if this is true for one inertial frame, it must be true for all inertial frames. But this seems to be nonsense. How can it happen that the speed of light relative to an observer cannot be increased or decreased if that observer moves towards or away from a light beam? Einstein states that he wrestled with this problem over a lengthy period of time, to the point of despair."... more »
By Pentcho Valev  - May 24 - 1 new of 1 message    

Matheology § 017 
  Matheology § 017 Thesis XIII in Brouwers Dissertation (Appendix): "Over de grondslagen der wiskunde" (Februari 1907, Dutch) simply reads: "De tweede getalklasse van Cantor bestaat niet", translated: Cantors second number class does not exist. {{That is an acceptable foundation of acceptable mathematics.}}... more »
By WM  - May 24 - 7 new of 7 messages    

Length of a segment with infinitesimal spikes 
  This is a variant of a fractal. Suppose we have a ‘smooth’ segment of length 1. Divide it into n parts, replacing alternate parts by a hat of length m/n. _/\_/\_/\_/\_ . The length of the curve is now (1/2+m/n*n/2) = (m+1)/2. We let n increase without limit. The height of each spike now goes to 0,... more »
By apoorv  - May 23 - 3 new of 3 messages    

Matheology § 016 
  If we define the real numbers in a strictly formal system, where only finite derivations and fixed symbols are permitted, then these real numbers can certainly be enumerated because the formulas and derivations on the basis of their constructive definition are countable. Definiert man die reellen Zahlen in einem streng formalen System, in... more »
By WM  - May 23 - 1 new of 1 message    

THE SHORTEST REFUTATION OF EINSTEIN'S RELATIVITY 
  The observer starts moving towards the light source with speed v so the frequency he measures shifts from f to f' and the speed of light he measures shifts from c to c'. f'=? c'=? [link] Roger Barlow, Professor of Particle Physics: "Moving Observer. Now suppose the source is fixed but the observer is moving towards the source, with speed v. In time t, ct/(lambda) waves pass a fixed point. A moving point adds another vt/(lambda). So f'=(c+v)/(lambda)."... more »
By Pentcho Valev  - May 23 - 3 new of 3 messages    

Using Godel's PROOF(THEOREM) PREDICATE to Prove a Program HALTS() (in a separate THEORY) 
  [link] Godel's Proof began with the Hypothesis whether a PROOF(THEOREM) Predicate existed or not. This was defined as a function that input a theorem X and returned TRUE IFF a sequence of statements exists in the theory and the final line is X, deduced from the earlier statements.... more »
By Graham Cooper  - May 22 - 2 new of 2 messages    

Comprehensive Test Banks and solution manuals at good prices 
  Comprehensive Test Banks and solution manuals at good prices Email us at bestsellers.testbanks[at]gmail .com if you need to buy any test bank or solution manual listed below. All emails will be answered quickly. . Test bank and solution manual separately priced. Discounts available if more than 1 item are purchased. All emails will be answered ASAP.... more »
By esol...@gmail.com  - May 22 - 1 new of 1 message    

1 - 10 of 26956   « Newer | Older »

XML