Search Results: Talk:Proof that 0.999... equals 1
Redirect to:
This talk page is a redirect. The following categories are used to track and monitor this redirect:
|
Talk:Proof
Rabu, 2024-08-21 01:22:26about: "Scotch whisky is normally distilled twice to around 130 or 140 proof"? - User:Olivier 06:48, 19 September 2002 (UTC) We don't need to list every...
Click to read more »Talk:Proof of space
Kamis, 2025-11-20 08:56:11https://en.wikipedia.org/wiki/Proof_of_Space This is the same article. Covers same topic. Proof-of-Space is the larger article. Sjö (talk) 05:09, 31 March...
Click to read more »Talk:Alcohol proof
Minggu, 2026-05-31 15:24:01have a clue what "proof" means, hence the number of people who wrongly talk of "% proof", or even misread "proof" or "° proof" as "% proof". This is all the...
Click to read more »Talk:Proof of work
Jumat, 2026-05-29 06:17:212019 (UTC) Proof-of-work system → Proof of work Proof-of-stake → Proof of stake Proof-of-space → Proof of space Proof-of-authority → Proof of authority...
Click to read more »Talk:Burden of proof (law)
Minggu, 2025-04-13 05:08:55is largely about the standard of proof. It talks a bit about the burden of proof towards the end The standard of proof is the degree of certainty with...
Click to read more »Talk:Constructive proof
Minggu, 2024-05-05 02:38:55computer scientists use the term "Existence Proof" to mean proof by example, e.g. demonstrating a red car is proof that some cars are red. I think this article...
Click to read more »Talk:Burden of proof (philosophy)
Selasa, 2024-10-08 03:23:20recently read thus. In mathematics and logic, a "proof of a negative" often takes the form of a proof by contradiction. To prove that some object or thing...
Click to read more »Talk:Proof of stake
Rabu, 2026-05-13 03:07:17brief explanation of staking to the Description section. Proposed text: In Proof of Stake blockchains, participants can engage in staking, where they lock...
Click to read more »Talk:Proof theory
Selasa, 2025-12-16 15:24:01I think we should merge proof theory and proof (math) because to me they seem the same thing, but I am not sure enough to do that. Any though? -- Taku...
Click to read more »Talk:Gödel's ontological proof
Selasa, 2025-11-11 09:10:06damn proof in plain language? Sn't Anselm's ontological argument was stupid but Gödel is an intelligent man, here the article is abotu his proof but we...
Click to read more »Talk:Formal proof
Sabtu, 2024-03-09 07:44:47The definition given here applies only to the simpler proof calculi. I does not work for natural deduction beyond propositional logic, and also not for...
Click to read more »Talk:Proof without words
Kamis, 2026-05-07 05:21:20how the diagram constitutes a proof of the Pythagorean theorem. Perhaps it is too subtle for me. But even if it is a proof, does it apply to all right angled...
Click to read more »Talk:Proof (truth)
Kamis, 2024-02-08 19:11:53change that, that issue is good to add. And you need to say what makes proof different from convincing in far fewer words. And the moment we mention...
Click to read more »Talk:Proof that pi is irrational
Sabtu, 2026-05-02 01:12:17work. Does anyone have more info on that proof? George Albert Lee (talk) 19:14, 29 October 2020 (UTC) Jones's proof has been cited in two books: More Calculus...
Click to read more »Talk:Rabbit-Proof Fence
Senin, 2026-05-25 21:28:08road home: Phillip Noyce's Rabbit-Proof Fence" in Senses of Cinema March 2002 Accessed: 27 July 2007 "A rabbit-proof fence full of holes", The Australian...
Click to read more »Talk:Proof of authority
Kamis, 2025-12-04 14:43:28questionable (and has no citation): "This is considered more robust than PoS (proof-of-stake), because in PoS, while a stake between two parties may be even...
Click to read more »Talk:Proof game
Kamis, 2024-02-08 19:10:592007 (UTC). I suggest renaming this article to "Proof game." A shortest proof game is a type of proof game, but not the only type. What do you think?...
Click to read more »Talk:Future-proof
Rabu, 2024-02-14 22:14:43This article doesn't make sense if one doesn't already know what "Future proof" means. Someone please change it to describe what it actually means, especially...
Click to read more »Talk:Probabilistically checkable proof
Rabu, 2024-03-13 02:33:45of a non-deterministic machine that guesses all necessary bits from the proof pi. However, the machine needs to remember the accessed bits of pi to check...
Click to read more »Talk:Wiles's proof of Fermat's Last Theorem
Rabu, 2025-02-12 02:43:08a high level of technical detail. We are not providing a "howto" of the proof (which entire books have been devoted to), but we should be able to catalog...
Click to read more »Talk:Proof that 22/7 exceeds π
Senin, 2026-06-01 09:03:42(UTC) So, in other words, you didn't understand the proof at all! I suspect that any reasonable proof of the same proposition that avoids knowledge of calculus...
Click to read more »Talk:Mathematical proof
Senin, 2026-05-18 12:23:25fellow Wikipedians, I have just modified one external link on Mathematical proof. Please take a moment to review my edit. If you have any questions, or need...
Click to read more »Talk:Proof of the law of large numbers
Selasa, 2010-05-25 22:30:43Someone, perhaps me, should write one of the proof of the strong law. Aastrup 13:09, 25 July 2007 (UTC) The proof that uses characteristic functions seems...
Click to read more »Talk:United States Proof Set
Rabu, 2025-05-14 16:11:52"The proof set is popular with coin collectors as it is an affordable way to collect examples of United States coinage in proof condition." ... the word...
Click to read more »Talk:Furstenberg's proof of the infinitude of primes
Minggu, 2025-04-27 05:30:16interested in this proof, you may find the proof that every subgroup of a free group is free interesting (which uses in the proof several tools from algebraic...
Click to read more »Talk:Proof coinage
Kamis, 2024-02-08 19:11:03Lincoln cent, then on "proof" in text--sorry, I'm new here and not at all savvy about how to do this post) is NOT the photo of a proof coin. I believe it...
Click to read more »Talk:List of incomplete proofs
Selasa, 2024-10-22 09:09:04published false theorems" then it shouldn't include Kempe's (incorrect) proof of the four-color theorem, which is not a false theorem. I would prefer...
Click to read more »Talk:Proof of funds
Rabu, 2025-08-06 03:41:46at Wikipedia. See Wikipedia:Sockpuppet investigations/Lifnlsdlsdnf. But "proof of funds" letters are real, notable financial instruments. So the article...
Click to read more »Talk:Argument–deduction–proof distinctions
Kamis, 2024-01-25 20:40:51journal note. Specific phrased of concern: "The absence of argument-deduction-proof distinctions is entirely consonant with Church's avowed Platonistic logicism"...
Click to read more »Talk:Absolute Proof
Rabu, 2025-09-03 04:40:40hour – a problem Lindell says, without providing proof, was the result of a hack."? Without providing proof? What were you all expecting him to do: pull out...
Click to read more »Talk:Linearity/Proof
Selasa, 2012-02-14 18:08:17any particular context you think should be added? Also I'd like to see a proof or counterexample of the other direction: does the scaling property imply...
Click to read more »Talk:Hurricane-proof building
Selasa, 2024-04-02 08:11:1920:41, 17 September 2009 (UTC) The correct grammar would be "hurricane-proof building". Jdorje 21:28, 6 December 2005 (UTC) Is it just me, or does the...
Click to read more »Talk:Proof calculus
Sabtu, 2024-12-14 04:03:00article could list more methods, like Tableaux proof systems, Resolution proof system, Connection graph proof systems, etc.. Jan Burse (talk) 09:39, 19 March...
Click to read more »Talk:Nonconstructive proof
Sabtu, 2007-11-24 03:44:25make this into a proper article, we need some examples of nonconstructive proofs, and discussion thereof. See Votes for deletion for some discussion about...
Click to read more »Talk:Combinatorial proof
Rabu, 2024-01-31 03:56:07The page tries to draw a clear line between double counting and bijective proofs. But since counting is by definition building a bijection with the set 1...
Click to read more »Talk:Rabbit-proof fence (disambiguation)
Senin, 2024-01-22 23:15:46There is a move discussion in progress on Talk:Rabbit-Proof Fence (film) which affects this page. Please participate on that page and not in this talk...
Click to read more »Talk:Proof assistant
Selasa, 2026-02-24 03:45:08See also (merge?) Computer-assisted proof Outs 10:05, 12 September 2007 (UTC) "a human can guide the search for proofs" Can someone give an example where...
Click to read more »Talk:Proof by contradiction
Rabu, 2026-02-18 15:22:45Constructive_proof#Non-constructive_proofs for existence proofs without witness in classical logic). The price for this property of intuitionstic proofs is (among...
Click to read more »Talk:Proof test
Kamis, 2024-02-08 19:11:15January 2006 (UTC) Got a question on the proof shot. Does that term cover the projectile in an artillery proof cartridge, or a separate projectile used...
Click to read more »Talk:Analytic proof
Minggu, 2024-04-28 01:01:32Should add: Why is analytic proof interesting? Analytic proof in other systems; Explain the connection to proof-theoretic semantics; Talk about translations...
Click to read more »Talk:Rabbit-Proof Fence/Archive 1
Rabu, 2022-05-25 23:45:35Qatsi If no-one objects, I'll move the article from Rabbit-Proof Fence (movie) -> Rabbit-Proof Fence, the latter is currently empty, and will be so for...
Click to read more »Talk:Social proof
Sabtu, 2024-02-03 18:33:24Simply put, this entry makes a strong assertion that Social Proof is an inherently negative thing, providing only invalid insight and leading to only...
Click to read more »Talk:Natural proof
Sabtu, 2024-03-09 09:46:13My addition is based on "Natural Proofs" by A. Razborov and S. Rudich, September 11 1999. The reference (the one that was already there) mentions an article...
Click to read more »Talk:Proof of knowledge
Kamis, 2024-02-08 19:11:11Goldreich) is the same for both zero knowledge and proof of knowledge. Is this correct? It seems to me that proof of knowledge is zero knowledge with the additional...
Click to read more »Talk:Body of Proof season 3
Senin, 2026-05-18 14:05:33proof_added_new_actors_and_writers_to_avoid.html How To Save Your Own Show’s Life The producers of ABC’s Body of Proof had a choice: Change...
Click to read more »Talk:Prepress proofing
Senin, 2024-02-05 16:58:191970's. Whilst color proofing, the process was known as Chromalin proofing and CMY&K - black powders were used to complete a proof on laminated sheets...
Click to read more »Talk:Proof by exhaustion
Senin, 2026-04-27 14:41:35I don't think that proof by exhaustion itself is controversial at all among mathematicians -- but its application or use in particular circumstances (e...
Click to read more »Talk:Proof (rapper)
Senin, 2025-09-22 04:38:10ate the poop" i removed it.Cdynas 23:59, 16 January 2007 (UTC) It claims Proof's years active were 1998-2006, but he appeared on eminem's album Infinite...
Click to read more »Talk:Standard of proof
Selasa, 2008-02-19 22:39:57I merged Standard of proof into Burden of proof. See Talk:Burden of proof for future talk. (Sam Spade | talk | contributions) 17:00, 13 Mar 2005 (UTC)...
Click to read more »Talk:Statistical proof
Sabtu, 2024-02-03 05:28:28article very odd. I'm tempted to say there is no such thing as "statistical proof". Statistics is not about proving things, as far as I understand it, but...
Click to read more »Talk:Proof of O(log*n) time complexity of union–find
Rabu, 2025-02-12 21:04:40anywhere after its statement. Dfeuer (talk) 06:14, 6 July 2012 (UTC) The proof of Lemma 2 only considers "Makeset" and "Union", but not "Find"; and indeed...
Click to read more »Talk:Mathematical proof/Archive 1
Jumat, 2025-01-10 23:18:49What is an effective proof? — Preceding unsigned comment added by 2001:628:2120:601:7447:9B9B:6C18:BF6E (talk) 11:49, 9 December 2015 (UTC) I removed...
Click to read more »Talk:Turing's proof
Minggu, 2024-03-24 18:57:02Problems with the first proof: Suppose I switch D with a simple machine that always outputs "s". In such a case, H would loop when reaching K anyway....
Click to read more »Talk:Proof by intimidation
Minggu, 2024-02-04 23:30:18editor has added a banner to this article, proposing that it be merged with Proof by verbosity. I would oppose this, because the current article is well-referenced...
Click to read more »Talk:Proof shot
Rabu, 2006-10-18 17:29:07January 2006 (UTC) Got a question on the proof shot. Does that term cover the projectile in an artillery proof cartridge, or a separate projectile used...
Click to read more »Talk:Conditional proof
Rabu, 2024-01-31 05:37:42I added the short description: "formal proof." If anyone can improve on this, that would be much appreciated (if seen fit). As it stands, it appears fine...
Click to read more »Talk:Proof net
Kamis, 2024-02-08 19:11:23two proofs that, it's claimed, will have identical proof nets. Could an expert on the topic produce the proof net that corresponds to these two proofs? That...
Click to read more »Talk:Proof by example
Rabu, 2025-06-04 04:00:10I'm confused here. Proof by example isn't always fallacious. For example, suppose we have the property "Some P implies Q". To prove this, it suffices...
Click to read more »Talk:Negative proof
Senin, 2017-08-28 17:00:38allows negative proofs in criminal cases; namely, a defence lawyer may argue: X is innocent because there is no (or insufficient) proof that X is guilty...
Click to read more »Talk:Burden of proof (philosophy)/Archive 1
Jumat, 2023-08-11 00:41:13disparate Legal Burden of Proof, and the Philosophic Burden of Proof. After discussing this on the talk page for "Burden of Proof", it was decided that we...
Click to read more »Talk:Proof that pi is irrational/Archive 1
Minggu, 2026-03-22 21:15:12f (j)(0) is an integer (by using Binomial theorem). You will see that the proof is correct now. If you see anything that can be simplified, then let me...
Click to read more »Talk:Structural proof theory
Sabtu, 2024-02-10 02:35:06"structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof". Isn't proof theory essentially...
Click to read more »Talk:Mathematical proof/Archive 2
Senin, 2026-05-18 12:23:25I recently came across the article on statistical proof. When when I first arrived at the page[1] - it was a mess. There is a bit of debate going on in...
Click to read more »Talk:Proof of concept/Archive 1
Rabu, 2023-08-09 22:53:10Proof of Technology in Computer Science is not generally accepted. That's like saying in mathematics it should be called a Proof of Equation. Proof of...
Click to read more »Talk:Proof of mathematical induction
Sabtu, 2017-07-08 08:38:30It seems that the proof uses the well-ordering axiom on numbers, which is essentially equivalent to the principle of mathematical induction!!! wshun 04:12...
Click to read more »Talk:Double counting (proof technique)
Sabtu, 2024-03-09 07:15:18follows: In combinatorics, double counting, also called two-way counting, is a proof technique that involves counting the size of a set in two ways in order...
Click to read more »Talk:Proof (truth)/Archive 2
Jumat, 2014-01-24 08:33:24I have moved this discussion to Talk:Proof. Everybody who has taken part in the discussion here is strongly encouraged to check it out there! —Toby Bartels...
Click to read more »Talk:Bijective proof
Minggu, 2024-01-28 21:43:35emphatically, this is not a bijective proof and does not illustrate anything about bijective proofs. As with most proofs at this level, with a great deal of...
Click to read more »Talk:Proof of impossibility
Minggu, 2026-02-01 10:54:17be built to predict the behavior of a state machine, just by using the proof of the conjecture. The same argument can be incorrectly used to show that...
Click to read more »Talk:Zero-knowledge proof
Senin, 2026-04-13 20:15:33article starts off with some confusion between zero-knowledge proofs and zero-knowledge proofs of knowledge, which have extra properties. I've attempted to...
Click to read more »Talk:Proof by infinite descent
Sabtu, 2024-03-09 10:49:55something smaller than the smallest one. I don't see, that this kind of proof has to do anything with infinity. --178.203.183.31 (talk) 17:32, 12 January...
Click to read more »Talk:Proof (truth)/Archive 1
Rabu, 2011-09-21 08:58:26the "truth" half of my split of the old dab page for proof into two main parts, the other being Proof (quality). --Vaughan Pratt (talk) 06:26, 6 July 2010...
Click to read more »Talk:Body of Proof season 2
Senin, 2026-05-18 12:27:10Hello fellow Wikipedians, I have just modified one external link on Body of Proof (season 2). Please take a moment to review my edit. If you have any questions...
Click to read more »Talk:Uncorrected proof
Selasa, 2010-10-12 15:37:04evidence distinguishing uncorrected proofs from Galley proofs. The present article claims, without evidence, that galley proofs are unpaged, while our article...
Click to read more »Talk:Proof (album)
Jumat, 2024-03-29 02:39:20As per WP:BRD, what is the correct term to use for Proof, is it compilation or anthology? — Paper9oll (🔔 • 📝) 12:23, 8 May 2022 (UTC) ++ @Carlobunnie...
Click to read more »Talk:Proof of Bertrand's postulate
Rabu, 2025-03-26 00:17:11The inductive proof is outlined but the inductive step is never proven. The claim is stated but without proof is not complete. I fail to see why assuming...
Click to read more »Talk:Death Proof
Selasa, 2024-02-13 19:54:44begining of the extended edition, there's a title card with the title "DEATH PROOF" over the "real" title (rpobably a pun of how foreign films get their names...
Click to read more »Talk:Proof (play)
Sabtu, 2024-01-27 23:14:10Hello fellow Wikipedians, I have just modified one external link on Proof (play). Please take a moment to review my edit. If you have any questions, or...
Click to read more »Talk:Body of Proof
Senin, 2025-09-29 08:56:12proof_added_new_actors_and_writers_to_avoid.html How To Save Your Own Show’s Life The producers of ABC’s Body of Proof had a choice: Change...
Click to read more »Talk:Cantor's first set theory article
Selasa, 2026-03-03 04:04:38the article discusses this conclusion and the disagreement about Cantor's proof. Second, I've added a reference to an article containing an analysis similar...
Click to read more »Talk:Artist's proof
Jumat, 2024-01-26 02:47:06proofing is a technique to correct the errors in making map reproduction process. while making the copy of the original for reproduction colour proof...
Click to read more »Talk:Proof techniques
Kamis, 2007-02-15 17:23:43See Talk:Mathematical proof....
Click to read more »Talk:Galley proof
Jumat, 2024-02-02 13:53:16Please put the page written for Uncorrected proof as it was..Uncorrected Proof is a technical term and deserves its own page. We just updated its tags...
Click to read more »Talk:Automated proof checking
Selasa, 2026-02-24 03:45:09formally verified proof checker. Kgrue (talk) 14:57, 9 January 2010 (UTC) Is there any reason that this is a separate article from Proof assistant? I'm happy...
Click to read more »Talk:Lean (proof assistant)
Senin, 2026-05-18 06:35:57look like: The full text of the proof, in Latex/markdown. Should be readable to anyone familiar with math. The proof translated into Lean 4 code, with...
Click to read more »Talk:Gentzen's consistency proof
Minggu, 2024-06-23 07:40:18explain such things as ordinal notation systems, cut elimination, infinitary proofs, subsystems of PA, subsystems of Z_2 and so forth, and then present Gentzen's...
Click to read more »Talk:Buried Secrets (Body of Proof)
Minggu, 2026-01-11 14:52:57This review is transcluded from Talk:Buried Secrets (Body of Proof)/GA1. The edit link for this section can be used to add comments to the review. Reviewer:...
Click to read more »Talk:Proof by contrapositive/Archive 1
Selasa, 2016-12-20 02:13:41direct proof is difficult, so a proof by contrapositive is preferable." Is contradicted a little later... "Despite what is said above, a direct proof is much...
Click to read more »Talk:Burden of proof (logical fallacy)
Selasa, 2024-12-24 13:08:15line: Weak atheism is the only position that does not have a burden of proof, because there is no belief in weak atheism to prove. In the previous version...
Click to read more »Talk:Missing (Body of Proof)
Selasa, 2026-01-13 02:05:42Wikipedians, I have just modified one external link on Missing (Body of Proof). Please take a moment to review my edit. If you have any questions, or...
Click to read more »Talk:0.999.../Archive 8
Selasa, 2024-10-01 16:55:24section you are replying to if necessary. Please add new archivals to Talk:Proof that 0.999... equals 1/Archive09. (See Wikipedia:How to archive a talk page...
Click to read more »Talk:Society Hill (Body of Proof)
Selasa, 2026-01-13 10:49:13This review is transcluded from Talk:Society Hill (Body of Proof)/GA1. The edit link for this section can be used to add comments to the review. Reviewer:...
Click to read more »Talk:Proof (2005 film)
Sabtu, 2024-01-27 17:27:25lists a few of the theories involved in Catherine's proof and says that it proves that she wrote the proof because those theories are "hip," they were developed...
Click to read more »Talk:Judgment proof
Jumat, 2024-11-08 23:27:17score big fines might talk about a criminal defendant as being "judgment proof" if those fines can't be collected, but that seems more like the exception...
Click to read more »Talk:Proof of the Truthful
Senin, 2026-05-18 03:22:11This review is transcluded from Talk:Proof of the Truthful/GA1. The edit link for this section can be used to add comments to the review. Reviewer: Argento...
Click to read more »Talk:Proof of Fermat's Last Theorem for specific exponents
Rabu, 2025-10-01 08:09:25Wikipedia article, not for publishing supposed proofs of theorems, for linking to such supposed proofs on other web sites, or anything similar. An editor...
Click to read more »Talk:Computer-assisted proof
Rabu, 2024-10-16 23:13:08of this article. It's a discussion of arguments against computer aided proofs and counterarguments.-Bob —Preceding unsigned comment added by 141.157.200...
Click to read more »Talk:0.999.../Arguments
Senin, 2026-04-27 19:17:29formal proof of 0.999... equals 1. It is a very simple proof and in my opinion, its flaw is very easy to expose. Do you still agree with the formal proof or...
Click to read more »Talk:Mathematical fallacy
Minggu, 2024-11-17 03:43:04OK, let's verify the invalid proofs. Seriously though, mathematical proofs (including, as here, proofs that certain proofs are invalid) should stand by...
Click to read more »Talk:Proof by contradiction/Archive 1
Minggu, 2022-05-29 16:37:23course re-arrange this proof, or any other proof at all, into a proof by contradiction, thus: Before the first line of the proof, write "Assume this theorem...
Click to read more »Talk:Rabbit-proof fence
Minggu, 2024-02-04 08:26:30Barrier Fence of Western Australia[1], formerly known as the No. 1 Rabbit-Proof Fence, the State Vermin Fence and the Emu Fence.." Is the fence really known...
Click to read more »Talk:Rot-proof
Senin, 2026-05-04 00:49:58(talk) 21:33, 28 February 2011 (UTC) They do both refer to Rot, though Rot-proof is a specific technical term which requires a description (including see...
Click to read more »Talk:Interactive proof system
Sabtu, 2024-03-09 08:30:01their difficulty, how surprising they are, and how they link interactive proof systems together with traditional machines. They've also been valuable in...
Click to read more »Talk:Proof that e is irrational
Sabtu, 2024-03-09 10:49:34I think the proof should also prove that lim n → ∞ ( 1 + 1 n ) n = ∑ n = 0 ∞ 1 n ! {\displaystyle \lim _{n\to \infty }\left(1+{\frac {1}{n}}\right)^{n}=\sum...
Click to read more »Talk:0.999.../Archive 1
Kamis, 2024-04-18 06:55:32section you are replying to if necessary. Please add new archivals to Talk:Proof that 0.999... equals 1/Archive02. (See Wikipedia:How to archive a talk page...
Click to read more »Talk:0.999.../Archive 5
Senin, 2020-07-20 13:45:05section you are replying to if necessary. Please add new archivals to Talk:Proof that 0.999... equals 1/Archive06. (See Wikipedia:How to archive a talk page...
Click to read more »Talk:Proof-of-payment
Kamis, 2024-02-08 19:11:19significant notability independent of this article's subject, the concept of a proof-of-payment system. This seems a prudent move as the two subjects are so...
Click to read more »Talk:Proof of e as a limit
Jumat, 2023-02-03 03:28:06I think that the proof should remain on Wikipedia as it does not really fit under Characterizations of e. The proof of e as a limit is not already included...
Click to read more »Talk:Proof of stake/Archive 1
Kamis, 2025-01-16 02:44:42rate plus 1% decentralized inflation due to the proof-of-stake system This article should explain why proof-of-stake means inflation to the cryptocurrency...
Click to read more »Talk:Proofs involving ordinary least squares
Rabu, 2024-02-07 18:19:15redirect as part of an on-going effort to deal with all articles with the '/Proofs' suffix as they don't conform to Wikipedia naming conventions. The Math...
Click to read more »Talk:Original proof of Gödel's completeness theorem
Rabu, 2024-02-07 11:48:59core part of the proof missing, is anybody able to complete it? New discussion: I intend to add the following to 2.5 of "Original proof of Gödel's completeness...
Click to read more »Talk:Helping Hand (Body of Proof)
Senin, 2026-01-12 12:36:30This review is transcluded from Talk:Helping Hand (Body of Proof)/GA1. The edit link for this section can be used to add comments to the review. Reviewer:...
Click to read more »Talk:Isabelle (proof assistant)
Minggu, 2026-05-31 17:05:22say Sqrt2.thy, and add before the proof text, the statements: theory Sqrt2 imports Complex_Main begin after the proof text one could add 'end'. Sander123...
Click to read more »Talk:Proofs involving the addition of natural numbers
Sabtu, 2024-03-09 10:51:13of the associative property for natural numbers. In taking a look at the proof provided here, I'm unclear about the steps which cite justification as [A2]...
Click to read more »Talk:0.999.../Archive 7
Kamis, 2023-03-02 10:58:31the top. and similarly Proofs of quadratic reciprocity, Proof of Bertrand's postulate, Proof of mathematical induction, and Proof of weak Scholz conjecture...
Click to read more »Talk:Proofs of quadratic reciprocity
Sabtu, 2024-03-09 10:50:40done: Clean up, wikify and check what I've written. Finish the bits of that proof that I haven't written yet (in particular the calculation of the quadratic...
Click to read more »Talk:Tsunami-proof building
Selasa, 2024-02-27 19:37:45I feel this should just be deleted BryceN (talk) Dear BryceN, "Tsunami proof buildings" is an important topic to be covered in an encyclopedia. Please...
Click to read more »Talk:WFF 'N PROOF
Sabtu, 2026-04-25 07:45:15simple handbook which teaches logic, and also teaches how to construct a proof. --Uncle Ed (talk) 13:01, 22 September 2009 (UTC) Is it possible that the...
Click to read more »Talk:Gödel's ontological proof/Archive 1
Jumat, 2024-12-20 09:59:25maybe on the God page, and on the infinity page. Goedel's ontological proof is unrelated: it uses "perfection", not "infinity" as the defining feature...
Click to read more »Talk:Hunting Party (Body of Proof)
Senin, 2026-01-12 12:48:27Wikipedians, I have just modified one external link on Hunting Party (Body of Proof). Please take a moment to review my edit. If you have any questions, or...
Click to read more »Talk:Damp proofing
Selasa, 2024-02-13 16:58:31Seems pretty obvious that Damp proofing and Damp-proof course should be merged 82.46.49.45 (talk) 13:47, 21 July 2009 (UTC) I agree. CharlesSpencer (talk)...
Click to read more »Talk:Broken Home (Body of Proof)
Minggu, 2026-01-11 14:49:58This review is transcluded from Talk:Broken Home (Body of Proof)/GA1. The edit link for this section can be used to add comments to the review. Reviewer:...
Click to read more »Talk:Body of Proof season 1
Senin, 2026-05-18 12:27:082012 (UTC) Ratings — M.Mario (T/C) 10:34, 27 July 2012 (UTC) Save Body of Proof! — M.Mario (T/C) 10:38, 27 July 2012 (UTC) It seems that this article is...
Click to read more »Talk:Dead Man Walking (Body of Proof)
Senin, 2026-01-12 08:59:04This review is transcluded from Talk:Dead Man Walking (Body of Proof)/GA1. The edit link for this section can be used to add comments to the review. Reviewer:...
Click to read more »Talk:Proof sketch for Gödel's first incompleteness theorem
Kamis, 2024-02-08 19:11:17wikilinks to help integrate it into the encyclopedia Give an outline of the proof at the top Use wiki formatting for math expressions, use display style for...
Click to read more »Talk:All in the Family (Body of Proof)
Sabtu, 2026-01-10 03:29:14This review is transcluded from Talk:All in the Family (Body of Proof)/GA1. The edit link for this section can be used to add comments to the review....
Click to read more »Talk:Explosion-proof enclosure
Senin, 2025-04-14 20:19:22A good deal of what's here is in facxt not even related to explosion-proofing. A lot of it reads like it was lifted from marketing material - "these...
Click to read more »Talk:Pilot (Body of Proof)
Selasa, 2026-01-13 08:54:52Picks Critic's Notebook: ABC at TCA ABC Pushes Body of Proof to Midseason ABC's Body of Proof Finally Gets Premiere Date In the same time period, ABC...
Click to read more »Talk:Proof (1991 film)
Kamis, 2024-02-08 19:11:05Image:Proof movie.jpg is being used on this article. I notice the image page specifies that the image is being used under fair use but there is no explanation...
Click to read more »Talk:Proof without words/GA1
Jumat, 2009-08-21 21:47:24behind proofs without words. If you would take a look at this link and this link, you would find some information about the history of proofs without...
Click to read more »Talk:List of mathematical proofs
Sabtu, 2024-03-09 09:13:07course to cases where the proof itself is of substantial interest, e.g. historical proofs of the Pythagorean theorem, Wiles's proof of Fermat's last theorem...
Click to read more »Talk:Non-interactive zero-knowledge proof
Minggu, 2024-03-17 10:38:41Page 20 of Definitions and Properties of Zero-Knowledge Proof Systems, Goldreich, Oren, give impossibility results for one shot zero-knowledge protocols...
Click to read more »Talk:Divergence of the sum of the reciprocals of the primes
Sabtu, 2026-03-21 01:05:46The section on Euler's proof mentions at the end that the "equation" seems odd to modern eyes, et cetera. I've seen this kind of statement in regards...
Click to read more »Talk:Living Proof (2008 film)
Senin, 2024-02-05 19:49:17Hello fellow Wikipedians, I have just modified 3 external links on Living Proof (film). Please take a moment to review my edit. If you have any questions...
Click to read more »Talk:List of probabilistic proofs of non-probabilistic theorems
Jumat, 2026-01-30 11:12:36several other cases where probabilistic proofs exist but have little or no advantages over non-probabilistic proofs). In contrast, Loewner's torus inequality...
Click to read more »Talk:Proofs of trigonometric identities
Sabtu, 2024-03-09 10:51:28different proofs). I propose that all proofs of trigonometric identities to be placed on this page, so that there will never be any repetition of proofs. --Ķĩřβȳ♥ŤįɱéØ...
Click to read more »Talk:Mathematical fallacy/Archive 1
Sabtu, 2011-07-16 20:15:22page. In some of the proofs, the explanations of the infallacies refer to line numbers, but none (or at least few) of the proofs are numbered. Also, there...
Click to read more »Talk:Living Proof
Rabu, 2024-10-23 23:56:44...
Click to read more »Talk:Proof of citizenship
Senin, 2006-05-29 18:51:132006 (UTC) Merging seems sensible, but it's also worth expanding to cover proof of citizenship in other countries. NIIRS zero 11:51, 29 May 2006 (UTC)...
Click to read more »Talk:Proof discography
Jumat, 2024-02-02 14:40:45corrected the discographies section of both 5 Elementz & Promatic. Will work on Proof solo songs over the next week or so. SpaceOdyssey44 16:09, 14 July 2010...
Click to read more »Talk:Proofs of Fermat's little theorem
Sabtu, 2024-03-09 10:49:04In the first proof, we can allow a to be relatively prime to p, and we should, since that's the statement of the theorem. Furthermore, the step where...
Click to read more »Talk:Burden of proof (law)/Archive 1
Minggu, 2025-04-13 05:08:55The burden of proof rests with the person who wants to change someone's mind. That person must take on the burden of proving something to a person. A...
Click to read more »Talk:♯P-completeness of 01-permanent
Selasa, 2025-09-30 22:26:36some illustrations in the article of the graph constructions used in the proof. In particular, "Figure 1" and "Figure 2" are mentioned in the article,...
Click to read more »Talk:Letting Go (Body of Proof)
Senin, 2026-01-12 13:49:23This review is transcluded from Talk:Letting Go (Body of Proof)/GA1. The edit link for this section can be used to add comments to the review. Reviewer:...
Click to read more »Talk:Talking Heads (Body of Proof)
Selasa, 2026-01-13 11:04:21This review is transcluded from Talk:Talking Heads (Body of Proof)/GA1. The edit link for this section can be used to add comments to the review. Reviewer:...
Click to read more »Talk:Gödel's ontological proof/Archive 2
Minggu, 2024-12-22 19:10:10are for the ontological proof in general and not specific to Gödel's proof. Are there any published criticisms of Gödel's proof? Tweisbach (talk) 11:02...
Click to read more »Talk:Cantor's first set theory article/GA2
Selasa, 2019-12-17 12:55:58citations somewhere for the table in the first proof, the closed interval simplification in the second proof and the entirety of the example of Cantor's...
Click to read more »Talk:Triple quad formula proof
Selasa, 2005-11-08 09:00:02The analytic proof is actually only half a proof. The second half is to prove that given the triple quad formula holds, then the point C must be on the...
Click to read more »Talk:Society Hill (Body of Proof)/GA1
Jumat, 2023-02-03 15:37:48Done External links: "Society Hill (Body of Proof)" at the Internet Movie Database. Remove (Body of Proof). Same for TV.com. Done That's all. On hold...
Click to read more »Talk:0.999.../Archive 10
Sabtu, 2021-12-18 20:52:50Talk:Proof that 0.999... equals 1/Archive01 Talk:Proof that 0.999... equals 1/Archive02 Talk:Proof that 0.999... equals 1/Archive03 Talk:Proof that 0...
Click to read more »Talk:Cantor's first set theory article/GA1
Selasa, 2019-12-17 12:55:57the proof, or is it merely two groups of mathematicians talking at cross purposes not understanding that the other is talking about a different proof? That...
Click to read more »Talk:Propositional proof system
Kamis, 2024-02-08 19:14:36Gentzen with and without cut have the same effect regarding the polynomial proof of tautologies. So I think that Gentzen without cut should be replaced above...
Click to read more »Talk:0.999.../Archive 9
Selasa, 2024-07-23 22:22:42section you are replying to if necessary. Please add new archivals to Talk:Proof that 0.999... equals 1/Archive10. (See Wikipedia:How to archive a talk page...
Click to read more »Talk:Analyticity of holomorphic functions
Kamis, 2024-01-25 01:43:43this identity Cauchy's differentiation formula. A proof of this last identity is a by-product of the proof that holomorphic functions are analytic. So: To...
Click to read more »Talk:Non-surveyable proof
Kamis, 2024-02-22 02:50:39ピングちゃん/ping-chan (talk) 03:28, 17 December 2015 (UTC) This and Computer-assisted_proof#Philosophical_objections should be brought into agreement. ピングちゃん/ping-chan...
Click to read more »Talk:Proof assistant/to do
Senin, 2020-04-27 18:36:30Automath, NuPRL, Nqthm Contrast interactive with automated theorem proving: proof scripts, tactics Main categories: first-order vs. higher-order vs. dependently...
Click to read more »Talk:Coalition-proof Nash equilibrium
Selasa, 2024-05-14 21:26:02this article is not the one for a Coalition-proof Nash Equilibrium, but for a Perfectly Coalition-proof Nash Equilibrium, and is contradictory with what...
Click to read more »Talk:Proof of stake/Archive 2
Rabu, 2026-05-13 03:07:16following text: One possible solution to mitigate long-range attacks in proof-of-stake systems is through the use of checkpointing. Checkpointing involves...
Click to read more »Talk:Shark cage diving
Senin, 2025-12-08 04:25:25I propose merging Shark proof cage and Shark baiting and renaming as Shark cage diving. Both articles are small and both are components of the shark cage...
Click to read more »Talk:List of long mathematical proofs
Senin, 2024-01-29 16:41:02proof of the underlying propositional tautology, *extracted* (and compressed) from the run of the SAT solver So this is a proper mathematical proof,...
Click to read more »Talk:Proof Positive (Greene story)
Kamis, 2024-02-08 19:11:57Hello fellow Wikipedians, I have just modified one external link on Proof Positive (Greene story). Please take a moment to review my edit. If you have...
Click to read more »Talk:List of Body of Proof episodes
Senin, 2026-01-12 13:55:00ratings are also here. Can I make a suggestion to do the same with Body Of Proof episodes so we can have the same layout as Desperate Housewives one.Sceal101...
Click to read more »Talk:Proof that 2 equals 1
Kamis, 2013-08-29 08:41:40wanted to call it "Proof" that 2 equals 1, but the quotes would cause problems. So the title appears to claim that it's a real proof, which isn't the point...
Click to read more »Talk:Proof that 1 = 2
Sabtu, 2005-02-12 15:02:13This page was voted on for deletion at Wikipedia:Votes for deletion/Proof that 1 = 2. dbenbenn | talk 08:02, 12 Feb 2005 (UTC)...
Click to read more »Talk:0.999.../Arguments/Archive 1
Sabtu, 2026-03-07 20:25:19section you are replying to if necessary. Please add new archivals to Talk:Proof that 0.999... equals 1/Arguments/Archive02. (See Wikipedia:How to archive...
Click to read more »Talk:0.999.../Archive 2
Selasa, 2025-02-18 03:52:24section you are replying to if necessary. Please add new archivals to Talk:Proof that 0.999... equals 1/Archive03. (See Wikipedia:How to archive a talk page...
Click to read more »Talk:Proof Positive (TV series)
Kamis, 2024-05-30 04:15:09of any of the paranormal things and just said what they liked to be the "proof positive" ones, that's why things about aliens and the Loch Ness monster...
Click to read more »Talk:Lists of webcomics/waiting existence proof
Jumat, 2021-08-27 21:44:26List of comics that cannot be found and are waiting for reasonable proof that they exist or ever existed. Move entries from the main page to here if all...
Click to read more »Talk:Online proofing
Senin, 2025-11-10 11:51:38Does anybody think Online Proofing should be merged with Online artwork proofing, feedback, review and approval tool? They are basically the same article...
Click to read more »Talk:Zero-knowledge password proof
Kamis, 2024-07-25 20:42:06cryptographer and have never seen the terminology "zero-knowledge password proof" in the technical literature, nor is it clear to me how it would be any...
Click to read more »Talk:Proofreading
Jumat, 2025-12-19 17:32:45changed a few redirects. Ardric47 (talk) 17:52, 16 April 2016 (UTC) The proof-editing article states that it is a new term- my searches of the term cannot...
Click to read more »Talk:Bulletproof glass
Senin, 2025-10-27 02:06:03bullet-proof glass, but that's not very accurate. 76.66.200.95 (talk) 04:09, 18 September 2010 (UTC) I have to agree w/ 76.66.200.95, bullet-proof glass...
Click to read more »Talk:Proofs involving covariant derivatives
Sabtu, 2024-02-03 17:30:19Used to be 'proofs involving Christoffel symbols', even though no Christoffel symbols Γ k i j {\displaystyle \Gamma ^{k}{}_{ij}} were explicitly used....
Click to read more »Talk:Consistency
Sabtu, 2025-11-15 06:58:47isn't great either. I've shifted the page from Consistency to Consistency proof, changed Consistency into a disambig page, and rewritten it. The previous...
Click to read more »Talk:List of Body of Proof characters
Senin, 2026-01-12 13:54:59Wikipedians, I have just modified one external link on List of Body of Proof characters. Please take a moment to review my edit. If you have any questions...
Click to read more »Talk:0.999.../Archive 4
Senin, 2020-07-20 13:45:01section you are replying to if necessary. Please add new archivals to Talk:Proof that 0.999... equals 1/Archive05. (See Wikipedia:How to archive a talk page...
Click to read more »Talk:Proof by assertion
Rabu, 2024-02-07 02:40:37article. —Mrwojo (talk) 01:30, 26 October 2010 (UTC) From my understanding, proof by assertion is the same as the bare assertion fallacy, however this article...
Click to read more »Talk:Proofing (baking technique)
Jumat, 2024-07-12 21:25:03"proofing bread" and "proving bread" gives a 20:1 preference to "proofing." All of the baking books I have on the process refer to it as "proofing."...
Click to read more »Talk:Cantor's first set theory article/Archive 1
Selasa, 2019-12-17 12:55:56handling the "constructive/non-constructive" controversy. The Proofs: Contains proofs of Cantor's theorems. Cantor’s Method of Constructing Transcendental...
Click to read more »Talk:0.999.../Archive 3
Senin, 2020-07-20 13:44:58add new archivals to Talk:Proof that 0.999... equals 1/Archive04. (See Wikipedia:How to archive a talk page.) There is no proof that demonstrates 0.999...
Click to read more »Talk:Living Proof (Cher album)
Minggu, 2024-02-18 05:19:44Wikipedians, I have just added archive links to 2 external links on Living Proof (Cher album). Please take a moment to review my edit. If necessary, add...
Click to read more »Talk:Dub Proof
Kamis, 2024-02-01 11:10:53Hello fellow Wikipedians, I have just modified one external link on Dub Proof. Please take a moment to review my edit. If you have any questions, or need...
Click to read more »Talk:Proof That the Youth Are Revolting
Kamis, 2024-02-08 19:11:06Hello fellow Wikipedians, I have just modified one external link on Proof That the Youth Are Revolting. Please take a moment to review my edit. If you...
Click to read more »Talk:Idiot-proof
Rabu, 2025-11-05 01:22:12Does removing headings and sections count as a cleanup? Biscuittin (talk) 14:23, 18 October 2009 (UTC) This article was the subject of a Wiki Education...
Click to read more »Talk:Bhaskara's lemma
Jumat, 2024-03-01 20:08:36(talk) 13:57, 14 August 2008 (UTC) I got lost in the first line of the proof. Where did N ( m x + y ) 2 − ( m y + N x ) 2 = − ( m 2 − N ) ( y 2 − N x...
Click to read more »Talk:Cardioid/Proofs
Sabtu, 2008-01-26 03:57:14I moved this from Cardioid article proofs; see Talk:Laplace_operator/Proofs#Subpage. Daniel 18:48, 20 May 2005 (UTC) ... and I've also moved it after that...
Click to read more »Talk:Living Proof: The Farewell Tour
Sabtu, 2024-01-27 12:21:16and higest-grossing of any by a female artist. Cher's three-year Living Proof Farewell Tour played 280 shows in North America, grossing $195 million and...
Click to read more »Talk:Proofs of Fermat's theorem on sums of two squares
Minggu, 2025-02-02 23:04:37references to a short proof that perhaps deserves mention here: [1][2]. 165.189.91.148 20:43, 14 September 2006 (UTC) Two more proofs can be seen here: http://planetmath...
Click to read more »Talk:Vibration-proof hitch
Minggu, 2026-04-19 12:01:49comment added by BobMcGr (talk • contribs) 2009-04-26T22:09:18 [The vibration-proof hitch is ...] a name introduced via the International Guild of Knot Tyers...
Click to read more »Talk:Living Proof (Cher album)/GA1
Senin, 2025-01-13 20:22:22further promote the album, Cher embarked on the record-breaking Living Proof: The Farewell Tour in June 2002. → You also mention a couple of promotional...
Click to read more »Talk:0.999.../Arguments/Archive 2
Rabu, 2010-05-26 11:09:53section you are replying to if necessary. Please add new archivals to Talk:Proof that 0.999... equals 1/Arguments/Archive 3. (See Wikipedia:How to archive...
Click to read more »Talk:Proof of Life
Rabu, 2024-02-07 09:05:31Luigibob (talk) 23:19, 17 February 2008 (UTC) I was watching the commentary on Proof Of Life and, yes, Mr Hackford does state it as he talked though the final...
Click to read more »Talk:Proof and Experimental Establishment
Minggu, 2024-02-04 13:50:32fellow Wikipedians, I have just added archive links to 4 external links on Proof and Experimental Establishment. Please take a moment to review my edit....
Click to read more »Talk:Non-constructive algorithm existence proofs
Senin, 2024-09-02 19:53:18should be a subsection of Constructive_proof#Non-constructive_proofs, since it gives examples of non-constructive proofs in computer science. However, due...
Click to read more »Talk:Pythagorean theorem
Senin, 2026-05-04 22:59:34proof (main idea) from this revision https://en.wikipedia.org/w/index.php?title=Pythagorean_theorem&oldid=1149322678#Jason_Zimba_trigonometric_proof%5B25%5D...
Click to read more »Talk:Conic section/Proofs
Senin, 2010-01-11 05:39:36DroEsperanto 14:20, 11 October 2006 (UTC) I think that a more appropriate proof for a proof article called "Derivations of conic sections" would be one where...
Click to read more »Talk:Connected space/Proofs
Senin, 2009-02-23 08:10:53These proofs are of important basic properties of connected spaces mentioned on the main article page. I at least find it much less satisfying when properties...
Click to read more »Talk:A very elementary proof that 22/7 exceeds π
Jumat, 2024-01-19 21:48:1317th century, when calculus was developed. Perhaps A short proof that... or A calculus proof that ... Also, it seems that there could be more exposition...
Click to read more »Talk:Euclid's theorem
Jumat, 2024-07-05 20:52:49Euclid did not use proof by contradiction, he never assumed there are finitely many primes 128.146.115.217 (talk) 20:16, 8 January 2008 (UTC) It seems...
Click to read more »Talk:Look See Proof
Senin, 2026-03-16 07:16:14fellow Wikipedians, I have just modified one external link on Look See Proof. Please take a moment to review my edit. If you have any questions, or need...
Click to read more »Talk:Distributive lattice/Proofs
Senin, 2008-12-01 05:52:59have reverted the edits by 132.181.160.42, which completely destroy the proofs. Here are some of the problems: First, in lemma 1, there are not three cases...
Click to read more »Talk:Proofs of God
Selasa, 2005-03-15 03:32:33topic, but these "proofs" appear to be nothing of the sort -- they're certainly not the sort of thing a scientist would call proof. Ferdinand Pienaar...
Click to read more »Talk:This Photograph Is Proof (I Know You Know)
Senin, 2024-01-29 16:45:26Image:Taking back sunday this photograph is proof.jpg is being used on this article. I notice the image page specifies that the image is being used under...
Click to read more »Talk:Proof Positive
Minggu, 2024-09-15 23:20:38...
Click to read more »Talk:Damp-proof course
Rabu, 2024-01-31 18:35:04comparison of its adoption over other methods of dealing with rising damp. Proof of "full customer satisfaction" and the results of the "extensive laboratory...
Click to read more »Talk:Burden of proof
Sabtu, 2024-09-14 21:28:33The link "Scientific burden of evidence" actually links to "Scientific method", but there is no mention at all of any sort of "burden" on that page. I...
Click to read more »Talk:Living Proof (Camila Cabello song)
Jumat, 2026-05-08 15:05:25I found some single covers of "Living Proof" on here and here, but these two sites are also wiki so it's not reliable, but as I know Genius doesn't let...
Click to read more »Talk:Cauchy–Schwarz inequality
Senin, 2025-11-17 03:07:06organized the proof section to have two different proofs and links to more proofs. I don't think there is anything to gain by having more proofs. Also, I swapped...
Click to read more »Talk:Proofs of convergence of random variables
Minggu, 2024-01-28 01:30:31I feel like there's an error in the proof of said lemma where it says that the expressions on the fourth and the fifth line are equal. Seeing as |X -...
Click to read more »Talk:Proof of Heaven
Minggu, 2024-05-19 03:53:52I'm going to be fixing part of this because the page uses words like "notes" and others to lend weight to the skeptics. Tiggy The Terrible (talk) 08:55...
Click to read more »Talk:Living Proof (2017 film)
Rabu, 2025-03-19 16:44:22This article was the subject of a Wiki Education Foundation-supported course assignment, between 6 January 2020 and 25 April 2020. Further details are...
Click to read more »Talk:Schröder–Bernstein theorem
Minggu, 2025-09-21 03:27:54This reference has a proof in mathematical vernacular, and also a proof formalized in a proof assistant and verified by it. I didn't...
Click to read more »Talk:100 Proof (song)
Sabtu, 2024-01-13 19:23:14...
Click to read more »Talk:Stokes' theorem
Minggu, 2025-12-21 01:04:12such a complicated proof? Why can't you show an elementary derivation meant for human beings? i feel it is very complicated proof can you just elaborate...
Click to read more »Talk:Area of a circle
Sabtu, 2025-05-03 23:30:24still a good introduction paragraph to onion proof. Similar problem lies in the first paragraph of triangle proof that it is complicated to justify "unwrapping...
Click to read more »Talk:Cantor's first set theory article/Archive 2
Selasa, 2026-03-03 04:04:36really true that most mathematicians believe that the diagonal proof was Cantor's first proof of uncountability? I'm no mathematician, but even my topical...
Click to read more »Talk:Steiner–Lehmus theorem
Sabtu, 2026-01-24 11:17:07The proof below was removed for several reasons. Generally when adding a proof make sure its notation is aligned to the notation already being used in...
Click to read more »Talk:Gunple: Gunman's Proof
Rabu, 2025-06-18 06:26:44...
Click to read more »Talk:Alex Smith (The Simplest Universal Computer Proof contest winner)
Rabu, 2024-12-18 02:13:13constructing the initial condition in a non-universal way, as in Smith's proof (as Pratt has agreed) is. But the procedure, as Pratt claims, would make...
Click to read more »Talk:Sylvester–Gallai theorem
Sabtu, 2024-02-10 05:06:58Kelly proof using the minimality of the distance between one point and a line which does not contain it. Huh? The Kelly proof is in the section "Proof of...
Click to read more »Talk:Cauchy's theorem (group theory)
Selasa, 2026-03-03 20:09:24paragraph of the proof, I'm not clear why hn/px has order p since (hn/px)p=hnxp=xp=h-1. Someone Else: 12:20, 1 July 2007 (EST) I fixed the proof a couple of...
Click to read more »Talk:Four color theorem/Archive 2
Rabu, 2023-03-22 04:31:08What about this proof? [1] Julyo 16:23, 13 July 2005 (UTC) Be very careful. The web page mentioned by Julyo first appeared a few years ago, maybe around...
Click to read more »Talk:Cantor's diagonal argument
Minggu, 2025-12-21 16:21:26considered a bicoloring by m and w. It is standard in wikipedia for modified proofs to be indicated as such and it is amateurish not to do so when the article...
Click to read more »Talk:Free energy suppression conspiracy theory
Minggu, 2024-01-14 16:35:41article "Here's the proof" and the rebuttal begs the question "What would those moderating this article consider constitutes absolute proof?" I ask because...
Click to read more »Talk:Fermat's Last Theorem
Minggu, 2026-06-07 19:22:17elementary proof is still as far as I know unresolved and directly relevant to the question of whether Fermat himself could have had a proof (the previous...
Click to read more »Talk:0.999.../Archive 6
Senin, 2020-07-20 13:45:07section you are replying to if necessary. Please add new archivals to Talk:Proof that 0.999... equals 1/Archive07. (See Wikipedia:How to archive a talk page...
Click to read more »Talk:Proof banknote
Rabu, 2024-02-07 18:21:20...
Click to read more »Talk:Cantor's theorem
Jumat, 2024-01-12 17:14:29The proof section currently has the sentence: "For a finite set, the proof can also be illustrated using a more prosaic presentation known as the barber...
Click to read more »Talk:Buried Secrets (Body of Proof)/GA1
Selasa, 2023-01-31 09:03:19of the broadcast." Done Reception: Any more reviews? - :( No. Body of Proof is only reviewed by TV Fanatic. Notes: These don't make very much sense...
Click to read more »Talk:Halting problem
Kamis, 2025-09-25 18:59:16The article states "This proof is significant to *practical computing efforts*, defining a class of applications which no programming invention can possibly...
Click to read more »Talk:Proof/No Vain
Kamis, 2024-02-08 19:11:30...
Click to read more »Talk:Halting problem/Archive 3
Minggu, 2012-02-05 03:04:44While Turing's proof shows that there can be no general method or algorithm to determine whether algorithms halt, individual instances of that problem...
Click to read more »Talk:Basel problem
Jumat, 2024-11-01 09:50:42of historical remarks and putting in broader context. I still think the proof can stay here, it would just be a part (about half) of the whole article...
Click to read more »Talk:Murder of Seth Rich
Senin, 2026-02-16 21:12:47discussion page. No further edits should be made to this discussion. There is proof that the entire Russian Collision story is a hoax, with 1000's of signed...
Click to read more »Talk:Associated Legendre polynomials
Minggu, 2025-01-19 20:48:20}^{(m)}} I tried to find a simple proof (in the literature and by my own wits), but could only come up with a very tedious proof (and did not find anything in...
Click to read more »Talk:Disjoint-set data structure
Rabu, 2024-09-11 08:34:51proof_of_the_average_case_complexity_of_union-find_with_path_compression/links/540bd2160cf2df04e7509fe0/A-simpler-proof...
Click to read more »Talk:Quadrature of the Parabola
Jumat, 2026-01-02 07:56:21Heiberg suggested that Archimedes' proof was written as 4A/3 = A + A/4 + A/12[citation needed] Archimedes' proof was also written as 1, 5/8, 14/27, 30/64...
Click to read more »Talk:Bourbon whiskey
Jumat, 2026-05-01 11:36:25reverters of this content saying that 'hazmat' proof bourbon is not a thing? Google searches of "hazmat proof bourbon" turn up quite a bit of responses on...
Click to read more »Talk:De Moivre–Laplace theorem
Jumat, 2024-11-22 02:20:05(UTC) no, don't touch the proof. — Preceding unsigned comment added by 86.201.147.141 (talk) 08:51, 9 April 2014 (UTC) The proof has some gaps. For example:...
Click to read more »Talk:Hunting Party (Body of Proof)/GA1
Rabu, 2023-02-01 14:02:07I'm going to review both the Body of Proof articles currently nominated. I haven't seen an episode of Body of Proof, so I'll have to consider this against...
Click to read more »Talk:Four color theorem
Kamis, 2026-04-02 04:51:28impression too. The Coq proof is actually more likely to be true than many celebrated human proofs. The real problem with the proof is that it's "inelegant"...
Click to read more »Talk:Switzerland in the Eurovision Song Contest 2008/GA2
Selasa, 2009-06-23 21:05:387 June 2009 (UTC) Please feel free to disagree, however the burden of proof regarding the verifiability of these sources as reliable is on the editors...
Click to read more »Talk:Fundamental theorem of arithmetic
Sabtu, 2025-11-15 07:54:07(removing its proof from this page, and condensing the two uniqueness proofs into one since they're really the same), or to build up the entire proof of unique...
Click to read more »Talk:The Prisoner of Benda
Minggu, 2024-09-08 04:05:44different. What is written on the board by Clyde appears to be the correct proof, I can write it out if it is needed for the page. Sixequalszero (talk) 10:17...
Click to read more »Talk:Infinity
Jumat, 2026-04-17 02:00:03Of course in the original proof of this fact, the axiom of choice may have been used (assuming it was just the general proof for any two sets), but our...
Click to read more »Talk:Riemann–Lebesgue lemma
Senin, 2026-04-27 01:48:45The first sentence of the proof is confusing, and it is not clear which "special cases" it refers to, and which if any of them is the "first one". Perhaps...
Click to read more »Talk:Crash Proof
Minggu, 2024-01-28 08:07:24...
Click to read more »Talk:Fermat's Last Theorem/Archive 1
Rabu, 2023-02-01 03:34:15Fermat was joking about the proof fitting into the margin? Surely he proposed the equation based on a hunch he had but the proof eluded him - effectively...
Click to read more »Talk:Eminem
Rabu, 2026-05-27 08:25:58Please provide proof of this happening. I feel like this needs more proof. Like, relply if anyone actually remembers this happening on news or something...
Click to read more »Talk:Fundamental theorem of algebra
Jumat, 2026-05-08 20:06:37"All proofs of the fundamental theorem of algebra involve some analysis, at the very least the concept of continuity of real or complex functions. This...
Click to read more »Talk:Economics of bitcoin
Rabu, 2024-01-17 13:52:02XMR, XLM, ZEC proof Tunapanda Institute BTC (plus many more) proof Code to Inspire BTC, BCH, ETH, LTC, ZEC, BAT, LINK, and GUSD proof proof 2 United Way...
Click to read more »Talk:Nondeterministic finite state machine/Proofs
Selasa, 2007-11-27 00:28:34Talk:Nondeterministic finite state machine/Proofs This article essentially is the mathematical version of the article Powerset construction. In the article...
Click to read more »Talk:Compass equivalence theorem
Sabtu, 2024-03-09 06:58:36version of the article until now, actually points to a fallacious proof. The proof has a heading line 'Exercise 2.2. The Rusty Compass Theorem'. Why is...
Click to read more »Talk:Approval proofer
Senin, 2026-05-11 00:32:28fellow Wikipedians, I have just modified 2 external links on Approval proofer. Please take a moment to review my edit. If you have any questions, or...
Click to read more »Talk:Die proof (philately)
Kamis, 2024-02-01 03:51:35...
Click to read more »Talk:Pythagorean theorem/Archive 7
Minggu, 2026-03-29 19:13:32that this trigonometric proof is discussed alongside the Einstein's proof and the proof with similar triangles. All these 3 proofs are essentially 3 different...
Click to read more »Talk:Proof-carrying code
Kamis, 2024-02-08 19:11:33...
Click to read more »Talk:Euclidean algorithm
Selasa, 2026-05-12 12:44:15more complicated, the third algorith is conceived for the easiest mathematical proof of the existence of this “great” divisor, which is multiple of every common divisor...
Click to read more »Talk:Proof of purchase
Selasa, 2024-01-30 08:59:43...
Click to read more »Talk:Zeckendorf's theorem
Jumat, 2026-03-13 20:17:3210:16, 18 March 2007 (UTC) I removed the following new section, headed Proof of Zeckendorf's Theorem, from the article: Zeckendorf's Theorem can be proved...
Click to read more »Talk:Riemann hypothesis/Archive 1
Senin, 2022-02-28 00:57:362005 (UTC) My experiences with the "proofs" of RH are, that using the functional equations as the kernel of the proof leads us to a "dead end". Means: for...
Click to read more »Talk:Brouwer–Heyting–Kolmogorov interpretation
Rabu, 2025-03-19 03:59:50How can a function convert a thing into something that does not exist(proof of absurdity)? 2.53.1.233 (talk) 03:31, 28 January 2020 (UTC) Yes, there seems...
Click to read more »Talk:Wolfram's 2-state 3-symbol Turing machine
Selasa, 2026-06-02 10:01:17prize committee were "informed but not polled" as to the validity of the proof. The prize committee members were Lenore Blum, Gregory Chaitin, Martin Davis...
Click to read more »Talk:Darboux's theorem (analysis)
Sabtu, 2024-03-09 07:08:02The proof being referred to is not due to Lars Olsen. Despite the title "A New Proof of Darboux's Theorem," Olsen's proof is not new. The proof appears...
Click to read more »Talk:Parabola/Proofs
Minggu, 2009-09-20 10:04:47The article Conic section/Proofs was merged into this article. See Talk:Conic section/Proofs for discussion of the other article....
Click to read more »Talk:Goldbach's conjecture
Rabu, 2026-03-25 19:38:43see the proof has a problem. Matricec (talk) 14:36, 21 December 2025 (UTC) I am not the author of the proof. But I think basically the whole proof is ok...
Click to read more »Talk:Banach fixed-point theorem
Senin, 2025-12-08 07:43:05128 (talk) 10:09, 26 September 2008 (UTC)R. Proofs are not inappropriate for Wikipedia. However, the proof presented here is unnecessarily long and I think...
Click to read more »Talk:Pythagorean theorem/Archive 2
Kamis, 2022-05-26 13:45:39generalization of the former. But of course Ptolemy's theorem also requires a proof. Ishboyfay (talk) 15:45, 10 August 2009 (UTC) But perhaps it would be good...
Click to read more »Talk:0.999...
Sabtu, 2026-05-09 03:18:50above as to whether it is too long - after all it is the recitation and proof of a humdrum simple fact, and is long precisely because it will inevitably...
Click to read more »Talk:50 State quarters
Kamis, 2026-04-16 12:38:32deletion: 2006 CO Proof.png 2006 ND Proof.png 2006 NE Proof.png 2006 SD Proof.png 2007 ID Proof Rev.png 2007 WA Proof.png 2007 WY Proof Rev.png Montana...
Click to read more »Talk:Pick's theorem
Senin, 2026-01-19 12:56:54somewhere. I'll try to find one. Cliff (talk) 05:48, 22 March 2011 (UTC) The proof described on this page can be found in Chapter 2 of [Beck, Matthias; Robins...
Click to read more »Talk:Leibniz integral rule
Minggu, 2025-12-14 04:51:04"General form" needs an independent proof as the style of proof in the two previous cases differ. There is now a proof of the general form, but I noticed...
Click to read more »Talk:Riemann zeta function
Minggu, 2025-11-23 23:07:26content. The alleged proof is a "modification of Titchmarsh's Fourier series proof" (see https://arxiv.org/abs/math/0305191). If one proof is not enough, I...
Click to read more »Talk:Spin–statistics theorem
Minggu, 2024-12-01 19:55:35delete section now called "Schwinger's Proof" The single ref lists the primary source and a comment that the proof has been changed (WP:OR?) The text refers...
Click to read more »Talk:Pythagorean theorem/Archive 5
Rabu, 2022-05-25 01:36:38(talk) 12:50, 13 October 2010 (UTC) The proof is very interesting, but I'm afraid that it isn't actually a proof. The issue is that you have assumed that...
Click to read more »Talk:Pi/FA subpage
Sabtu, 2017-07-08 08:15:20Subarticles: Proof that π is irrational Proof that π is transcendental History of π Approximations of π Chronology of computation of π List of formulas...
Click to read more »Talk:Out from Under
Kamis, 2024-12-05 22:45:37sorry, but where is the proof that it did come out in sweden? nothing says it did! Britney covered this song, i.e. it's not hers. Joanna Pacitti released...
Click to read more »Talk:0.999.../Archive 18
Jumat, 2017-09-08 08:51:55that the algebraic proofs are actual proofs, and fails to summarize appropriately the central issues of the topic. Indeed, the proofs have been cribbed...
Click to read more »Talk:Pythagorean theorem/Archive 1
Senin, 2026-03-09 21:49:25We should include Socrates proof as its own section. http://en.wikipedia.org/wiki/Meno [email protected] —Preceding unsigned comment added by 58.173...
Click to read more »Talk:Gaussian integral
Minggu, 2025-12-28 04:55:0517 June 2015 (UTC) Whereas it says under the heading Proof by complex integral that ″A proof also exists using Cauchy's integral theorem″, I haven't...
Click to read more »Talk:Propositional logic
Minggu, 2025-07-27 20:59:53However, formalization can happen in degrees. The first fully formalized proof system (i.e. using no natural language but purely formal language) was invented...
Click to read more »Talk:Cayley's formula
Selasa, 2024-01-30 10:06:45} in this proof? Thank you! It's meant to be ∅ {\displaystyle \emptyset } . Fixed. Algebraist 14:34, 27 March 2008 (UTC) I think the proof based on Prueffer...
Click to read more »Talk:List of Shining Time Station episodes
Sabtu, 2025-03-01 23:00:542023 (UTC) here's the proof of the episodes that are affected that have the false stories straight from YouTube it's as much proof as you're going to get...
Click to read more »Talk:Cousin's theorem
Jumat, 2026-04-10 02:14:302010 (UTC) There is a formalized proof here. There's also an informal proof here that resembles the traditional proof of the Bolzano-Weierstrass theorem...
Click to read more »Talk:Gödel's incompleteness theorems/Archive 3
Jumat, 2017-07-07 07:59:52a Godel number of a proof of the Godel sentence p from the proof sketch). The proof sketch in the article and the "modern proof" are not actually very...
Click to read more »Talk:0.999.../Archive 19
Rabu, 2025-10-01 09:32:52these proofs demonstrate that 0.999… = 1, the extent to which they explain the equation depends on the audience. In introductory arithmetic, such proofs help...
Click to read more »Talk:Square root of 2/Archive 2
Jumat, 2026-01-23 07:00:54The proof says 'Errett Bishop (1985)' I would like to see a proper citation including page number please. Does this proof use 'valuations' as used here...
Click to read more »Talk:Power rule
Jumat, 2026-04-24 14:35:40less than the prior and latter tangent averages? Sure, there are algebraic proofs. But they rely, as all know, on using (h) to represent a very small value...
Click to read more »Talk:Lindelöf hypothesis
Senin, 2024-02-05 13:13:53(UTC) Moreover, a simple claim on the proof of a famous conjecture, anywhere, not backed by an actual sound proof, published in a reliable mathematical...
Click to read more »Talk:Grönwall's inequality
Senin, 2025-11-17 04:16:21restrict ϕ ( t ) {\displaystyle \!\ \phi (t)} to be nonnegative. the proof from PlanetMath doesn't carry over, I don't think. (The above was not signed...
Click to read more »Talk:Simple ring
Jumat, 2024-02-09 17:12:1218:52, 7 February 2022 (UTC) I haven’t checked the proof myself but I want to note that the proof that a simple Artin ring is a matrix ring over a division...
Click to read more »Talk:Cayley–Hamilton theorem
Sabtu, 2024-11-09 23:10:11The proof using polynomials with matrix coefficients (3.5) can be significantly simplified. The remark that evaluating such a polynomial by replacing...
Click to read more »Talk:Titchmarsh convolution theorem
Minggu, 2025-05-04 00:46:12elementary proof is probably more accurately described as "no satisfying elementary proof" (for Rota). As far as I can tell, Mikusiński's proof isn't incorrect...
Click to read more »Talk:Slater–Condon rules
Minggu, 2024-01-28 03:21:49Does anyone have a link to an article with the proof of these "rules" .... because they aren't rules in the strict sense (because we don't define these...
Click to read more »Talk:Proof of Age
Senin, 2025-06-30 09:48:19...
Click to read more »Talk:Crystallographic restriction theorem
Kamis, 2025-09-25 09:34:59lattice…". This is followed by a lattice proof, a matrix proof, and a formal description for all dimensions (without proof). Here is what you inserted between...
Click to read more »Talk:Focused proof
Sabtu, 2024-03-09 07:50:42...
Click to read more »Talk:Synchronous frame
Kamis, 2024-04-04 16:44:14I couldn't find a proof of the algebraic inequality ϰ β α ϰ α β ≥ 1 3 ( ϰ α α ) 2 {\displaystyle \varkappa _{\beta }^{\alpha }\varkappa _{\alpha }^{\beta...
Click to read more »Talk:Sylow theorems
Selasa, 2024-11-26 19:53:19mere consequence of the first statements; it requires its own independent proof. AxelBoldt 18:04 Nov 6, 2002 (UTC) Yep. I was really thinking about highlighting...
Click to read more »Talk:Grigori Rasputin
Jumat, 2026-04-24 01:24:34To describe Rasputin as a faith healer would require proof, and as there is no proof that faith heals at all, this is an inaccurate description of the...
Click to read more »Talk:Glossary of mathematical jargon
Sabtu, 2024-08-03 16:52:36call "Proofs and proof techniques" instead "Proofs and rigorous proof techniques", and the current "Proof non-techniques" instead "Informal proof technqiues"...
Click to read more »Talk:Wallace–Bolyai–Gerwien theorem
Sabtu, 2024-03-09 12:56:46name of Gerwien? --Hkpawn 15:15, 25 Dec 2004 (UTC) It seems there's no proof that the firstname of Gerwien be Paul, see [1](https://hsm.stackexchange...
Click to read more »Talk:Harmonic series (mathematics)
Minggu, 2025-11-23 23:04:43not see the need for the proof, as the one in there now is quite easy (as proofs go) to understand. I am not aware of the proof you refer to, off the top...
Click to read more »Talk:MassResistance
Selasa, 2025-12-23 04:22:19into gay culture, it does not however go on to say what text he uses as proof to claim this,that being among others the book 'after the ball' by Kirk...
Click to read more »Talk:American Innovation dollars
Sabtu, 2026-01-31 10:02:58participate on that page and not in this talk page section. Thank you. —BarrelProof (talk) 00:27, 25 June 2019 (UTC) There is a move discussion in progress...
Click to read more »Talk:Ostrowski's theorem
Sabtu, 2024-03-09 10:12:15doesn't mean anything, just read through the proof! The absolute values that we are considering in the proof are |n|∞,|n|∗,|n|∗∗. I changed to latex in...
Click to read more »Talk:Arthur Schopenhauer's criticism of the proofs of the parallel postulate
Selasa, 2024-12-24 01:17:28proofs of the parallel postulate". I believe it should be "Schopenhauer's criticism of attempts to prove the parallel postulate", since "the proofs"...
Click to read more »Talk:The Method of Mechanical Theorems
Sabtu, 2024-06-22 17:44:59project such as Wikibooks, Wikiversity, or ProofWiki. There is also no point in presenting a novel proof not appearing before in print, because it falls...
Click to read more »Talk:Lagrange's theorem (number theory)
Minggu, 2024-07-28 22:17:03need the proof written out like this? And what is the reliable source for it? Deltahedron (talk) 10:39, 21 October 2012 (UTC) I admit the proof might be...
Click to read more »Talk:Euclid's lemma
Selasa, 2024-12-17 20:15:13I'd be interested in seeing Euclids proof of proposition 30 on there. It seems onky fitting "It states that if a prime divides the product of two numbers...
Click to read more »Talk:Triangle inequality
Kamis, 2024-06-20 00:33:37suggest it is in need of a proof. The Young Ones (talk) 20:48, 25 April 2008 (UTC) Have expanded this to include a short 'proof' using Cauchy-Schwarz Inequality...
Click to read more »Talk:Prime number/Archive 1
Sabtu, 2024-06-08 19:13:17of Primes (IP) proof is not original research, especially in light of the fact that out of 31 authors of a publicly written IP proof only 3 of them gave...
Click to read more »Talk:Euler's formula/Archive 2
Rabu, 2025-10-29 19:38:03The Proof using differential equations start with the derivative of d d y e i x = i e i x {\displaystyle {\frac {d}{dy}}e^{ix}=ie^{ix}} . And then it...
Click to read more »Talk:Diagonal lemma/Proof with diagonal formula/Conjunction and equality reduced to substitution
Selasa, 2006-12-19 03:31:28{Term} } , z ∈ V a r {\displaystyle z\in \mathbf {Var} } . See detailed proof in p. 136–137 of . We are almost ready. We have to use the following lemme...
Click to read more »Talk:0.999.../Archive 15
Senin, 2023-03-27 06:01:04following sentence to the digit manipulation proof: "One supposed problem, however, does exist with the above proof. When multiplying .999... by 10, one of...
Click to read more »Talk:Brouwer fixed-point theorem
Sabtu, 2024-03-09 06:36:13Courant and Robbins provide an accessible proof. —Preceding unsigned comment added by 198.144.199.xxx (talk • contribs) 30 August 2001 This article mixes...
Click to read more »Talk:Mathematical induction
Selasa, 2026-05-26 06:38:42the text explicitly refers to the proof of the infinitude of primes. That proof is not a proof by induction, but a proof by contradiction from the assumption...
Click to read more »Talk:Euler's formula
Sabtu, 2026-03-14 16:10:30consolidate the proof of a lemma into the proof of the main theorem or pull a tricky step out as a separate lemma; translate a proof about a more general...
Click to read more »Talk:Method of analytic tableaux
Sabtu, 2024-12-14 03:34:55According to proof procedure, semantic tableaux are a type of proof calculus - not a type of procedure. Tule-hog (talk) 20:34, 13 December 2024 (UTC)...
Click to read more »Talk:Hales–Jewett theorem
Sabtu, 2024-03-09 08:04:57closure? Charles Matthews 07:37, 24 Jun 2004 (UTC) Added an example, a proof, and some links and references. Only thing missing is some mention of applications...
Click to read more »Talk:Proof of secure erasure
Kamis, 2024-02-08 19:12:20...
Click to read more »Talk:L'Hôpital's rule
Minggu, 2026-02-01 07:34:54so, somebody should finish the second proof, there's a lot more that needs to be said. Section 1 of the proof asserts: According to Cauchy's mean value...
Click to read more »Talk:Squared triangular number
Minggu, 2025-09-14 01:46:29It would be nice to include the picture proof from http://users.tru.eastlink.ca/~brsears/math/oldprob.htm#s32, since it is clearer than the one already...
Click to read more »Talk:Stark–Heegner theorem
Sabtu, 2024-03-09 12:03:53Heegner in 1952, but Heegner's proof had some minor gaps and the theorem was not accepted until Harold Stark gave a complete proof in 1967, which Stark showed...
Click to read more »Talk:Exportation (logic)
Selasa, 2026-01-13 05:13:34source. -- Jitse Niesen (talk) 14:53, 18 February 2012 (UTC) I removed the proof (reproduced below) because it seems to prove the same thing as it assumes...
Click to read more »Talk:Chow's lemma
Selasa, 2024-01-30 19:32:26First, the proof that g − 1 ( V i ) {\displaystyle g^{-1}(V_{i})} cover X ′ {\displaystyle X'} has an error: the claim is made that f = p i ∘ g {\displaystyle...
Click to read more »Talk:Safe and Sophie Germain primes
Selasa, 2025-01-14 21:23:35Germain primes were the subject of the eponymous proof in the stage play Proof and the subsequent film Proof. That comes as a surprise to me. I watched the...
Click to read more »Talk:Edward J. Ruppelt
Senin, 2026-02-16 10:48:22off-base. There is no proof of that. Nobody knows why Ruppelt did so. What we do know is that he posed the question, “What constitutes proof?”: The hassle over...
Click to read more »Talk:SAML-based products and services
Jumat, 2024-02-09 08:42:40The author of the following entry did not provide facts that proof that Comfact provides a SAML-actor like an IdP, SP etc. The entry was therefore removed...
Click to read more »Talk:Time hierarchy theorem
Senin, 2024-12-09 21:38:42Proof looks basically OK. It needs a justification of how a Turing machine can simulate M in O(f(n)³); "it is safe to say" is a bit weak. The fact that...
Click to read more »Talk:Quentin Tarantino
Selasa, 2026-06-02 09:01:13the second paragraph: “He then made the exploitation-slasherfilm Death Proof (2007), which was part of a double feature with From Dusk till Dawn director...
Click to read more »Talk:Weitzenböck's inequality
Senin, 2025-07-14 06:40:48equilateral. Since the proof uses a wrong formula, the proof is wrong. Loraof (talk) 23:05, 26 June 2015 (UTC) The first proof states that the Weitzenbock...
Click to read more »Talk:Jensen's inequality
Kamis, 2026-05-07 05:14:23The first proof by induction does not appear simple in the generalization step with the use of delta function and other notions. The third proof appears...
Click to read more »Talk:Fundamental lemma of the calculus of variations
Senin, 2025-11-17 07:06:42the proof is important - some students use wikipedia to help them understand what they learn in lectures better. Plenty of other pages have proofs: for...
Click to read more »Talk:Proof of Fermat's Last Theorem
Sabtu, 2024-10-05 02:46:47...
Click to read more »Talk:Condorcet's jury theorem
Rabu, 2024-01-31 05:37:28Needed: some discussion of the history, a citation, perhaps a proof. --best, kevin [kzollman][talk] 17:52, 9 August 2006 (UTC) The article currently includes...
Click to read more »Talk:Proofs from THE BOOK
Kamis, 2025-04-03 00:03:10--Salix alba (talk) 14:56, 12 April 2006 (UTC) Are we not going to list the proofs discussed? Alright, it's library time... Rashad9607 23:38, 29 August 2006...
Click to read more »Talk:Lock and key/Archives/2015
Kamis, 2019-01-17 13:23:35burglar proof locks service.In this article i can find nothing about burglar proof locks.Can someone please update an section for burglar proof Hawkgigs...
Click to read more »Talk:Dimension theorem for vector spaces
Selasa, 2025-10-21 21:40:31jbolden1517Talk 17:48, 12 May 2007 (UTC) I do not know if there is a nice proof that works for both the finite and infinite case. I do not agree that a...
Click to read more »Talk:Tube lemma
Sabtu, 2024-02-10 18:33:11I think there is some confusion in the proof: in the definition of π Y C {\displaystyle \pi _{Y}C} , the ∃ x {\displaystyle \exists x} should be deleted:...
Click to read more »Talk:List of Grim & Evil characters
Sabtu, 2025-03-22 15:27:45Jollien, but there's no proof that those two exist in the show. There's not even an appearance of those characters as a proof that they appeared on the...
Click to read more »Talk:Stewart's theorem
Sabtu, 2024-03-09 12:10:45The proof as given, presumably taken from Cut-the-knot, is incorrect in that it assumes that the altitude falls on the opposite side, but this will not...
Click to read more »Talk:Radon–Nikodym theorem
Kamis, 2026-03-05 09:11:46functinal analysis yet doesn't give a (more elegant) functional analytic proof. Mct mht 11:49, 10 June 2006 (UTC) definition: ν <<< μ : for all e>0 exists...
Click to read more »Talk:Young's inequality
Minggu, 2024-02-11 14:33:15definition of concavity, there is absolutely no need to include Jensen in the proof. MarSch 14:21, 14 Mar 2005 (UTC) You're right; I was very hasty. Although...
Click to read more »Talk:Proof that 1 is less than 0
Rabu, 2003-06-25 07:12:41There's one of these pseudo-proofs for "1 = 0", too; it basically goes like this: 0 = 0 + 0 + 0 + ... = (1 - 1) + (1 - 1) + ..."; using associativity,...
Click to read more »Talk:Proof of the Euler product formula for the Riemann zeta function
Senin, 2024-03-18 22:29:23In the "Proofs" section, the terms of the infinite product are shown with the ellipsis on the left side of the product instead of on the more usual right...
Click to read more »Talk:Diagonal lemma/Proof with diagonal formula
Selasa, 2006-12-19 03:40:21seem making things overcomplicated, but for me, the correctness of the proof may be more verifyable, because I have not much practice yet. Another change:...
Click to read more »Talk:Von Neumann–Bernays–Gödel set theory
Sabtu, 2024-03-09 12:57:01Gödel's axiomatization and proof closely enough so that readers who get interested in the original proof will find that the proof in the Wikipedia article...
Click to read more »Talk:Mutilated chessboard problem
Rabu, 2024-01-31 07:49:14Why the solution is said to be "without proof"?--Pokipsy76 (talk) 08:56, 5 January 2008 (UTC) Gomory's theorem is nearly the same thing. Should this be...
Click to read more »Talk:Minkowski inequality
Sabtu, 2025-05-17 01:22:47The proof is incomplete as one of the conditions to use Hoelder's inequality is in this case that | f + g | p − 1 ∈ L q {\displaystyle |f+g|^{p-1}\in...
Click to read more »Talk:Fermat's Last Theorem/Archive 3
Sabtu, 2023-04-29 19:43:45Generation episode "The Royale" had Jean-Luc Picard mistakenly saying that a proof had yet to be discovered in the 24th century?Traffic Demon (talk) 08:23...
Click to read more »Talk:Text-proofing
Rabu, 2004-11-17 09:47:13For a previous debate over the deletion of this article see Wikipedia:Votes for deletion/Text-proofing....
Click to read more »Talk:Lindemann–Weierstrass theorem
Sabtu, 2024-03-09 09:08:38the known proofs. The previous proof was incorrect or at least it had some unclear points. I posted a new proof of the lemmas. This new proof is taken...
Click to read more »Talk:Cantor's intersection theorem
Rabu, 2025-04-30 04:16:02My problem with this is that the proof of the Heine–Borel theorem uses Cantor's intersection theorem, and the proof of Cantor's intersection theorem uses...
Click to read more »Talk:Low-rank approximation
Kamis, 2025-02-06 22:04:58Frobenius norm, the proof is given for the spectral norm. This should be fixed. It is also possible to formulate it as a direct proof: take V := span ...
Click to read more »Talk:Trakhtenbrot's theorem
Senin, 2025-09-15 08:10:12The proposed intuitive proof appeals to arithmetical sentences that are true in the standard natural numbers iff a Turing machine halts, identifies finite...
Click to read more »Talk:Fermat's Last Theorem/Archive 4
Kamis, 2021-03-11 07:14:18is Wiles's proof of modularity superior to Ribet's counter example? And, why does modularity rather than existence determine Wiles's proof? Jamestmsn...
Click to read more »Talk:Euclidean division
Rabu, 2025-11-26 12:12:29copy the proof by well-ordering here: Proof The proof consists of two parts — first, the proof of the existence of q and r, and second, the proof of the...
Click to read more »Talk:Full width at half maximum
Jumat, 2025-03-28 05:20:23Question: Where is the proof for this? This could be much clearer ... the intention here is to elucidate not obscure! Is the symbol for the FWHM Γ {\displaystyle...
Click to read more »Talk:Fáry's theorem
Jumat, 2024-02-02 00:46:50The author of the proof - is a must. I didn't read closely, but it is not the original Fary's proof. `'Miikka 02:40, 30 June 2007 (UTC) The problem may...
Click to read more »Talk:Uniform limit theorem
Minggu, 2026-03-22 01:02:42The proof given is not valid. It is only valid in a metric space. If the theorem as stated is true, the proof should hold in any space where a uniform...
Click to read more »Talk:Ptolemy's theorem
Rabu, 2024-01-31 16:39:42not introduce the theorem with the much simpler ABCD notation used in the proof and its figure, instead of the complicated-looking point–subscript notation...
Click to read more »Talk:Kőnig's lemma
Senin, 2024-02-05 01:29:562009 (UTC) The proof shows that for any vertex v1, and for any integer n, there exists a simple path of length n starting at v1. The proof then claims that...
Click to read more »Talk:South Australia proof of age card
Sabtu, 2024-02-03 05:06:37Australia: South Australia Low‑importance Australia portal South Australia proof of age card is within the scope of WikiProject Australia, which aims to...
Click to read more »Talk:Differentiation of trigonometric functions
Senin, 2024-05-13 14:23:19find another page that has proofs for them. --Bobianite (talk) 01:32, 17 April 2008 (UTC) Just wondering, since all the proofs for inverse trig functions...
Click to read more »Talk:Estimate of the Situation
Senin, 2025-02-10 21:21:19off-base. There is no proof of that. Nobody knows why Ruppelt did so. What we do know is that he posed the question, “What constitutes proof?”: The hassle over...
Click to read more »Talk:Uniform boundedness principle
Selasa, 2025-05-13 10:49:52other point, though a bit picky, is that the "Proof" is not a proof of the first "Corollary" but rather a proof of the statement following the corollary....
Click to read more »Talk:Five color theorem
Kamis, 2024-04-18 05:33:34This is not a proof outline; it is a full proof. Should we really be including entire proofs on Wikipedia? --Wzhao553 06:52, 7 February 2006 (UTC) When...
Click to read more »Talk:Ceva's theorem
Sabtu, 2024-03-09 06:37:03enormously if you would include the original triangle when you begin your first proof via area and you color code the various areas. Show all the steps used to...
Click to read more »Talk:Holodomor
Minggu, 2026-06-07 03:31:03not know if the Holodomor was made-made, as there is a lack of historical proof, and official documentation. However, a lot of intellectuals state that...
Click to read more »Talk:Heine–Borel theorem
Rabu, 2024-08-28 20:12:53I removed the following proof from the main page: Here, we consider the version for the real numbers, as stated above. If a subset of the real numbers...
Click to read more »Talk:Rank (linear algebra)
Sabtu, 2024-03-09 11:01:38Mathematics/Proofs, which also has a proposal for putting proofs on a separate page. -- Jitse Niesen (talk) 12:16, 8 September 2005 (UTC) There is a proof at http://books...
Click to read more »Talk:Halting problem/Archive 4
Minggu, 2012-02-05 15:03:19The halting proof diagnolization argument implies an algorithm that simulates an input machine on it's own encoding. This is the realization of "diagonolization"...
Click to read more »Talk:Algebraic closure
Rabu, 2024-01-24 07:56:36From which book is the proof? It is not from Atiyah and MacDonald, which follows the proof from Emile Artin, but I did not check the others.132.229.172...
Click to read more »Talk:Jordan normal form
Rabu, 2026-04-08 20:43:44diagonalizable. Akrodger (talk) 16:18, 10 December 2018 (UTC) Where was the proof adapted from? Source please. Also, are there any other sources for the real...
Click to read more »Talk:Wigner's theorem
Sabtu, 2025-04-12 23:34:46including a detailed proof, specifically Bargmann's proof. The rationale is as follows: Since the theorem is of fundamental importance, its proof is not automatically...
Click to read more »Talk:Grindhouse (film)/Archive 2
Rabu, 2023-02-01 09:29:13is coming out in July and it's a 5 DVD boxset. Makes sense. 1 for death Proof, 1 for Planet Terror, 1 for Machete, 1 for Werewolf Women (40 minutes filmed...
Click to read more »Talk:Non-standard model of arithmetic
Rabu, 2025-08-20 21:13:25length proof. You can't distinguish it from the godel number of a normal finite proof in PA. So for instance, each statement of such a "proof" follows...
Click to read more »Talk:Thévenin's theorem
Jumat, 2024-06-07 22:50:27access the page with proof of the firs one [1]. The proof given in the second text book is somewhat incomplete or limited. The proof is to explain why any...
Click to read more »Talk:Gödel's incompleteness theorems/Archive 5
Jumat, 2017-07-07 07:59:54conjecture is that it is stated in terms of proof length, not proof size. Proof length is the number of lines in the proof, the number of applications of the rules...
Click to read more »Talk:Removable singularity
Jumat, 2024-02-09 01:12:581979) gives a neat proof using the Cauchy integral formula instead. Jowa fan (talk) 05:49, 25 January 2010 (UTC) I agree that the proof is not very clear...
Click to read more »Talk:Markov's inequality
Senin, 2024-02-19 08:53:45(UTC)Pika I removed the |.| signs from the proof so that it matches the statement. Also, I expanded on the proof very slightly for easier reading; unlike...
Click to read more »Talk:Poincaré–Hopf theorem
Kamis, 2024-02-08 08:44:28of mine. The proof here is also sufficiently elementary that it seemed reasonable to briefly outline the main ideas underlying the proof. Greg Woodhouse...
Click to read more »Talk:Feynman–Kac formula
Senin, 2025-11-17 06:01:29believe that the proof is now correct. —Preceding unsigned comment added by Eweinber (talk • contribs) 21:55, 9 May 2010 (UTC) OOPS! The proof stated in earlier...
Click to read more »Talk:Borel–Carathéodory theorem
Senin, 2024-01-29 11:31:43proof. It was utterly unmotivated and had badly chosen trivial details thrown in that would be second nature to anyone able to understand the proof in...
Click to read more »Talk:Intermediate value theorem
Kamis, 2024-11-07 15:46:18I'm not a mathematician, but there's a bit of this proof that seems wrong. It goes "Suppose first that f (c) > u." I don't see how we can suppose this...
Click to read more »Talk:Great Apostasy
Kamis, 2026-05-14 16:43:02began with the Second Vatican Council (Vatican II). In the video they state proof of the Great Apostacy is the events at Assisi, Italy. Many Sedevacantist...
Click to read more »Talk:Gelfond–Schneider theorem
Kamis, 2026-04-16 03:30:20numbers. Ben Standeven 21:37, 10 April 2007 (UTC) A valid nonconstructive proof. Ironic. —Preceding unsigned comment added by 216.163.255.2 (talk) 21:15...
Click to read more »Talk:Zorn's lemma
Minggu, 2026-05-10 05:27:26not true. Only connected graphs have spanning trees. The mistake in the proof happens here: Zorn's lemma says that a maximal tree must exist, which is...
Click to read more »Talk:Fatou's lemma
Sabtu, 2024-03-09 07:33:16Where in the two given proofs is the measurability of f verified?Lost-n-translation (talk) 23:56, 22 March 2012 (UTC) It follows immediatly because the...
Click to read more »Talk:Ezra Brooks
Kamis, 2024-02-01 22:43:10if someone wants to refer to it that way. —BarrelProof (talk) 11:27, 8 February 2011 (UTC) The 90 proof thing might be a bit misleading. I personally own...
Click to read more »Talk:Van der Waerden's theorem
Sabtu, 2024-03-09 12:55:25proof we use {0,...,N-1}. Should we use the same convention throughout? AxelBoldt 03:59 Jan 13, 2003 (UTC) I've incremented the numbers in the proof by...
Click to read more »Talk:Axiom of choice
Senin, 2026-06-01 23:16:5507:37, 18 February 2026 (UTC) To @Galois314:: Could you please provide a proof (both ways) that "For every collection A {\displaystyle {\mathcal {A}}}...
Click to read more »Talk:Riemann hypothesis/Archive 2
Senin, 2022-08-22 05:05:37Bourcia has announced a proof a number of times, but all of his previous attempts at this proof have failed. The full purported proof is "Riemann Zeta functions"...
Click to read more »Talk:Mathematical practice
Sabtu, 2025-11-15 07:20:43Fermat was defying an emerging concept of peer review and proof, in keeping his own proofs secret. Defying? "Out of step with" is more like it; see my...
Click to read more »Talk:Final value theorem
Jumat, 2024-02-02 03:57:03iupui.edu/~skoskie/ECE595s7/handouts/fvt_proof.pdf to http://www.engr.iupui.edu/~skoskie/ECE595s7/handouts/fvt_proof.pdf When you have finished reviewing...
Click to read more »Talk:LifeProof
Jumat, 2025-05-02 02:20:53Hello fellow Wikipedians, I have just modified one external link on LifeProof. Please take a moment to review my edit. If you have any questions, or need...
Click to read more »Talk:Riemann hypothesis
Sabtu, 2026-03-28 08:03:48claimed 2015 proof fizzled out and hasn't been heard of for a long time. Kumar Eswaran has managed to pick up media coverage for his claimed proof, but this...
Click to read more »Talk:Parallelogram of force
Rabu, 2024-02-07 15:16:52with the proof provided. I was reading Spivak - Mechanics, when coming across this article, and he clearly does not agree that the provided proof is valid...
Click to read more »Talk:Absolute convergence
Selasa, 2024-04-02 23:21:57this proof. Loasa (talk) 13:31, 9 January 2011 (UTC) Oh thank the heavens, I'm not hallucinating and the proof is wrong! I looked over Loasa's proof, and...
Click to read more »Talk:Thierry Coquand
Kamis, 2026-04-09 18:07:18ACM SIGPLAN Programming Languages Software Award for co-creating the Coq proof assistant? Source: https://awards.acm.org/award_winners/coquand_8654317...
Click to read more »Talk:Alternating series
Rabu, 2024-01-24 15:02:20to add a short proof of the Leibniz Test? I think it would add a lot to the page. Lavaka 05:45, 21 September 2006 (UTC) I added a proof the way it came...
Click to read more »Talk:Structure theorem for finitely generated modules over a principal ideal domain
Sabtu, 2024-02-10 02:34:37Nbarth (talk) 01:43, 23 November 2007 (UTC) I commented out a part of the proofs section because I felt a) it contained misleading statements and errors...
Click to read more »Talk:Agnes Ozman
Minggu, 2024-12-29 22:51:03her belief in speaking in tongues without any source or proof such as a witness or written proof that I am aware of.Otr500 (talk) 05:54, 7 January 2008...
Click to read more »Talk:Killing of the Haight family
Rabu, 2025-12-31 06:24:28picture and that provides proof what the family looks like. Instead of deleting it why don't you wait for a consensus or provide proof that it is not the family...
Click to read more »Talk:Fermat's theorem on sums of two squares
Kamis, 2026-01-22 01:07:53A recent addition to Don Zagier gives references to a short proof that perhaps deserves mention here: [1][2]. 165.189.91.148 20:43, 14 September 2006...
Click to read more »Talk:Emperor Jimmu
Kamis, 2025-10-30 20:10:58"fact squares" is not consistent enough; this is a figure of legend with no proof of actual existence. The choice of "fact squares" itself makes it seem that...
Click to read more »Talk:Parity of a permutation/Archive 1
Minggu, 2023-05-07 22:05:03comment added by 145.97.206.168 (talk) 18:44, 13 September 2009 (UTC) The proof of the fact that the sign of the composition of two permutation is the product...
Click to read more »Talk:Euler's formula/Archive 1
Kamis, 2013-09-26 08:41:22with the field. I suggest presenting an algebraic proof instead of the function analysis type proof. Let us consider f(x)=e^x. We know from its TSE about...
Click to read more »Talk:Bernstein polynomial
Senin, 2024-05-13 13:32:15to this proof? Johnnyaug (talk) 01:07, 21 January 2010 (UTC) I am not sure what the "proof" is proving, but it seems the logic of the proof is wrong...
Click to read more »Talk:Tiny Rascal Gang
Sabtu, 2024-02-24 05:39:05direct proof from original members, video evidence aswell can link to TRG, nobody is vandalizing please leave as is i provided a link for proof aswell...
Click to read more »Talk:Jacobi's formula
Senin, 2025-12-08 08:03:17the cofactors in the proof, such as Cij, as in the cofactor and the Laplace expansion articles? I think it would make the proof more readable. The relation...
Click to read more »Talk:Frattini's argument
Jumat, 2025-05-02 07:38:24unnecessarily include it's 1st expression NH(P) as it is not used by the proof. It only confuses. —Preceding unsigned comment added by 79.180.4.184 (talk...
Click to read more »Talk:IP (complexity)
Minggu, 2024-02-04 07:09:32unreadble format in the proof for: IP ⊆ NSPACE {\displaystyle {\text{IP}}\subseteq {\text{NSPACE}}} makes the proof harder to read and\or understand....
Click to read more »Talk:Free abelian group
Jumat, 2024-02-02 10:36:53technical is a bad ideal. A "non-topological proof" is always very messy, as I understand, and at least the proof shows how messy it can get. (Sorry, I didn't...
Click to read more »Talk:Bernstein's theorem (polynomials)
Kamis, 2024-12-05 16:18:52I think the proof should be removed. In the Manual of Style it states: Use your judgment; as a rule of thumb, include proofs when they expose or illuminate...
Click to read more »Talk:Snark (graph theory)
Sabtu, 2024-03-09 11:52:36cases from proof of theorem that every snark has Petersen graph as a minor was published here: https://arxiv.org/pdf/1411.4352.pdf. Proof of second case...
Click to read more »Talk:0.999.../Arguments/Archive 3
Jumat, 2021-10-01 14:27:25One could claim that in this case the proof is not that 0.999... = 1, but rather use this as an inequality which notes that 1/3 does not equal 0.3333...
Click to read more »Talk:Ultraparallel theorem
Sabtu, 2024-03-09 12:45:27The proofs in this article would be enhanced if diagrams were available. If you can help, please consider this project.Rgdboer (talk) 20:14, 14 December...
Click to read more »Talk:Vandermonde's identity
Sabtu, 2024-03-09 12:59:26clearer proof using equality between polynomials. I suggested that unless there is a one-liner explanation, we will provide a more detailed proof here (again...
Click to read more »Talk:Feit–Thompson theorem
Sabtu, 2024-03-09 07:31:43and is more or less a necessary part of both the original and the revised proof, though it did not appear until 2004. The math review says "In 1983, Danny...
Click to read more »Talk:FoolProof
Sabtu, 2025-11-29 19:24:24be deleted or at least include what these organizations said about FoolProof instead of just describing the organizations. 45.27.58.77 (talk) 16:02,...
Click to read more »Talk:1/2 + 1/4 + 1/8 + 1/16 + ⋯
Senin, 2025-12-08 06:47:31Other articles with similar titles (for proof of precedent): 1/2 − 1/4 + 1/8 − 1/16 + · · · 1 − 2 + 4 − 8 + · · · 1 − 1 + 1 − 1 + · · · (But this is a...
Click to read more »Talk:Hilbert's second problem
Sabtu, 2024-02-03 17:05:09is able to prove the consistency of PA Some people believe that Godel's proof shows that no reasonable solution to the 2nd question is possible; this...
Click to read more »Talk:Lock picking
Selasa, 2024-10-08 15:59:501968 states "Where a person is charged with an offence under this section, proof that he had with him any article made or adapted for use in committing a...
Click to read more »Talk:Von Neumann bicommutant theorem
Minggu, 2024-02-11 04:27:52inseaperateable, because the definiton of strong topology. The end of the proof that ii)=> iii) doen not work, since we showed that for every h there is...
Click to read more »Talk:Cobordism hypothesis
Senin, 2025-08-18 04:35:38Can the article link to Lurie's proof of the cobordism hypothesis? — Preceding unsigned comment added by 128.6.62.173 (talk) 19:46, 28 January 2016 (UTC)...
Click to read more »Talk:Bourbaki–Witt theorem
Minggu, 2026-04-12 12:59:57the proof had been given by Zermelo as his Second Proof of the Well Ordering Theorem in 1908. What this Wikipedia page says is **not** the proof in the...
Click to read more »Talk:Principle of explosion
Minggu, 2025-03-30 04:25:36The formal proof on the page is suffering from circular reasoning. It peruses the disjunctive syllogism; however, the disjunctive syllogism can only be...
Click to read more »Talk:Parallelogram
Jumat, 2025-06-13 07:57:47the second proof Abcjared (talk) 14:14, 18 June 2008 (UTC) Wouldn't the congruent triangles proof be better as the main (and only) proof, rather than...
Click to read more »Talk:Fermat's Last Theorem/Archive 7
Minggu, 2022-05-15 07:14:26the flawed proof that was released in 1993, how Wiles eventually realized how to repair the proof in September 1994, and how a final proof was submitted...
Click to read more »Talk:Serre–Tate theorem
Jumat, 2024-02-09 13:50:51Serre and Tate did not write up their proof. To my knowledge the first proof is given by W. Messing in his thesis. 65.112.8.193 (talk) 00:14, 2 June 2016...
Click to read more »Talk:Leibniz's rule (derivatives and integrals)
Minggu, 2006-09-03 05:04:47me, please, the source from which this proof has been copied? I have some books of analysis and their proofs of this theorem are not so simple. It would...
Click to read more »Talk:Thomae's function
Rabu, 2025-09-24 12:50:02few pages of Excellent proof for proofs of continuity on the irrationals and discontinuity on the rational numbers. A second, Proof but with a Mistake is...
Click to read more »Talk:Angel problem
Senin, 2024-03-25 11:48:53claim of a proof is notable. Bowditch's abstract also mentions that Kloster has a proof for the 2-angel, but I can't find a written proof using Google...
Click to read more »Talk:P versus NP problem/Archive 2
Kamis, 2023-02-02 23:38:45Not about proofs or attempts at proofs. It's not about (correct) proofs since no proof has been found. It's not about attempts at proofs since most of...
Click to read more »Talk:Rosser's trick
Selasa, 2025-02-18 22:09:50otherwise, there are two numbers n , m {\displaystyle n,m} , coding for the proofs of ϕ {\displaystyle \phi } and ¬ ϕ {\displaystyle \neg \phi } , respectively...
Click to read more »Talk:America the Beautiful quarters
Selasa, 2025-11-25 09:38:482011-ATB-Quarters-Proof-Vicksburg1.jpg 2012-ATB-Quarters-Proof-Acadia.jpg 2012-ATB-Quarters-Proof-Chaco.jpg 2012-ATB-Quarters-Proof-Denali.jpg 2012-ATB-Quarters-Proof-El-Yunque...
Click to read more »Talk:Non-fungible token
Rabu, 2026-05-20 03:52:46, but it only states 'estimated 99 percent') I'm pretty sure no other proof-of-work blockchains were involved with NFTs and there is no carbon-intensive...
Click to read more »Talk:Gilbert–Varshamov bound for linear codes
Sabtu, 2024-05-11 13:27:05In the formal proof, it says that the size of $G$ is $kn$, does this means $k\times n$? 165.230.224.73 (talk) 08:56, 29 March 2016 (UTC) also, what is...
Click to read more »Talk:Halting problem/Archive 5
Senin, 2025-06-23 19:28:09as I know this function always halts, but the proof is non-trivial (actually I do not know if such a proof exists :-)). lundril 194.25.174.98 (talk) 20:24...
Click to read more »Talk:Contradiction
Kamis, 2026-04-16 02:07:17doesn't imply that one cannot know that the system is correct. Knowledge and proof are two different philosophical concepts. To whoever added this: wikipedia...
Click to read more »Talk:Kolmogorov's inequality
Minggu, 2024-01-28 05:30:41This proof of Kolmogorov's maximal inequality is not the usual one, so there is an aspect of "original research" to this piece. I am also worried that...
Click to read more »Talk:Hilbert–Smith conjecture
Rabu, 2025-07-23 19:49:27What's the status of this claimed proof? Louis F. McAuley, A Proof of the Hilbert-Smith Conjecture, 2001, arXiv:math/0103215. John Baez (talk) 15:09, 16...
Click to read more »Talk:Wiener algebra
Sabtu, 2025-05-03 03:43:5706:08, 28 June 2011 (UTC) That should just be Gelfand's proof; there's no "different" proof. The result follows from the explicit identification of the...
Click to read more »Talk:0.999.../Archive 16
Rabu, 2026-03-04 20:07:46rigorous proofs of the equality. I am just complaining about two specific proofs that were added very recently. The long division proof and the proof assuming...
Click to read more »Talk:AM–GM inequality
Senin, 2025-03-24 20:16:14umm, in the polya proof, the meaning of mu and rho are not given —Preceding unsigned comment added by 128.36.86.60 (talk • contribs) But they are, in...
Click to read more »Talk:Gelfond–Schneider constant
Jumat, 2025-07-04 00:44:32a constructive proof that an irrational to the power of an irrational can be rational, so I don't know what the nonconstructive proof referred to. Chenxlee...
Click to read more »Talk:Residue theorem
Minggu, 2025-06-22 09:27:32Can somebody put the proof of the residue theorem in this page? --130.207.180.90 01:43, 7 September 2005 (UTC) Hello, I'm trying to understand this theorem...
Click to read more »Talk:Twin prime conjecture
Sabtu, 2024-03-09 12:42:13Have you checked all of those proofs? It's not fair to say their proofs are probably wrong, is it? Are you aware of this proof, which originally appeared...
Click to read more »Talk:Extended negative binomial distribution
Sabtu, 2024-03-09 07:33:46I have had an e-mail complaining that I deleted a so-called proof. Simple proofs are against Wikipedia standards, see WP:NOTTEXTBOOK, although in special...
Click to read more »Talk:Halting problem/Archive 2
Jumat, 2017-07-07 08:03:25froms Turings first and maybe second, proof); my guess is the Halting proof falls out easily, and Another (proof? demonstration?) would derive from Minsky's...
Click to read more »Talk:Thales's theorem
Kamis, 2025-12-18 08:30:44simplify the proof using one single point reflection through the circle center. In addition there should be some explicit mentioning of the proof using properties...
Click to read more »Talk:Estadio Bernabé Pedrozo
Kamis, 2024-02-01 18:58:15Misnomer of this article. Hazaña17 (talk) 12:21, 15 December 2009 (UTC) Proof 1. Proof 2. Proof 3. Proof 4....
Click to read more »Talk:Minkowski's theorem
Sabtu, 2024-03-09 09:35:52(convex geometry)" file could be created. Val Just wanted to note that this proof is not comprehendible in any way to someone who doesnt have advanced knowledge...
Click to read more »Talk:Extreme value theorem
Sabtu, 2024-03-09 07:28:36be. For example, Spivak gives the following proof in his calculus text. (And there may be slicker proofs, this was just the first I looked at.) Suppose...
Click to read more »Talk:PCP theorem
Rabu, 2024-02-07 16:59:32I feel that the proof of Lemma 1 is unnecessarily detailed. Also, the proof sketch of Lemma 2 skips the main point completely (!) in favor of elaborating...
Click to read more »Talk:Shield nickel
Jumat, 2024-02-09 15:23:00issue has nothing to do with whether the 1866 is a proof or not (the 1878 originally shown is also a proof, but it uses production dies). BTW, I am also the...
Click to read more »Talk:Vandermonde matrix
Sabtu, 2024-03-09 12:56:10Here is a proof, taken from physicsforums.com. If this does not violate copyright, perhaps someone should clean it up and add it to the Wikipedia page...
Click to read more »Talk:Existence theorem
Minggu, 2025-06-08 11:29:54several proofs, some of them might indicate a construction, while others might not. So, a theorem would be called "pure" if some of its proofs indicates...
Click to read more »Talk:0.999.../Archive 14
Minggu, 2023-01-29 23:44:03don't agree that such a "proof" belongs in the lead. Two sections down is the "Proofs" section, with a number of different proofs, starting with the most...
Click to read more »Talk:Kőnig's theorem (graph theory)
Sabtu, 2024-03-09 08:46:25have checked the page history, as the proof I was talking about had been completely replaced by the current proof at the time they made their comment....
Click to read more »Talk:Simson line
Rabu, 2026-05-13 04:45:25The "Proof of existence" appears to apply to a figure with different lettering than the one at the top of the page. For the proof to apply as written,...
Click to read more »Talk:Solved game
Rabu, 2025-08-06 12:06:19produce at least one complete ideal game (all moves start to end) with proof that each move is optimal for the player making it." Contrary to this claim...
Click to read more »Talk:Tychonoff's theorem
Sabtu, 2024-03-09 12:43:01advance then a proof of Tychnoff can be very simple. But I am not a topologist - I know very little. What do other editors think of the proof? 128.135.100...
Click to read more »Talk:The Proof of Your Love
Minggu, 2024-01-28 10:15:44...
Click to read more »Talk:Mumford's compactness theorem
Sabtu, 2023-08-12 10:06:01namely their proof of Selberg's conjecture. If you look at Mumford's paper cited in the entry, you will see that Mumford says he has two proofs, one elementary...
Click to read more »Talk:Fitch notation
Sabtu, 2024-03-09 07:43:11example is wrong, I checked with Fitch proof system (Propositional). I'm changing the example with a correct proof. -- MaD70 (talk) 17:29, 30 August 2014...
Click to read more »Talk:Gridcoin
Selasa, 2024-03-19 08:45:24on October 16, 2013 by Rob Halford and was contructed in such a way that proof of research is applied. Participants in the network are rewarded based on...
Click to read more »Talk:PH (complexity)
Minggu, 2025-04-13 08:32:47NP=Σ1⊆PH=P, Therefore NP⊆P and trivially P⊆NP. Therefore, P=NP Note this proof cites Wikipedia and should not be added verbatim to the page Yonatan Vernik...
Click to read more »Talk:Derivation
Sabtu, 2024-10-05 19:45:25The two terms are not synonymous. A proof is a special case of a derivation. In a proof, the initial set of formulas contains only axioms (of a given...
Click to read more »Talk:Malfatti circles
Sabtu, 2024-03-09 09:22:47have a proof of a solution. Andreatti et al accept it as a proof. It uses some computer-based calculations but that does not make it less of a proof. Another...
Click to read more »Talk:Doubly stochastic matrix
Kamis, 2025-05-01 00:48:16In Hungary, the proof of the van der Waerden inequality given by Gyires is generally considered false. I could not, however, find any source for this...
Click to read more »Talk:Self-dual Palatini action
Minggu, 2024-01-28 01:42:07the outline of a specific proof. 2. Scientific communications are often written with "we" or "I" in the derivation of a proof, but not encyclopedia articles...
Click to read more »Talk:Gauss's lemma (polynomials)
Kamis, 2025-05-01 01:04:23rule for the possessive s. iames 20:01, 3 May 2007 (UTC) In the section "Proof of the lemma" where step 3 asserts the existence of a,b such that ag and...
Click to read more »Talk:Gödel's incompleteness theorems/Archive 6
Rabu, 2010-06-30 19:48:36the proof should be made clear. Every proof constructs something or other, and the proof of Godel's theorem is no different. What is Godel's proof constructing...
Click to read more »Talk:2019 Sri Lanka Easter bombings
Rabu, 2025-12-24 21:25:26Christchurch mosque shootings. While I don’t have the reference now, do you believe this is enough proof? TheLibyanGuy (talk) 12:31, 29 April 2024 (UTC)...
Click to read more »Talk:Ordinal analysis
Senin, 2026-03-16 03:19:04the ordinal of each of the listed theories (e.g. where one can find the proof that I\Sigma_1 is w^w, etc). —Preceding unsigned comment added by 130.226...
Click to read more »Talk:Roberts's triangle theorem
Jumat, 2024-02-09 03:37:44"unconvincing" original proof of Roberts's triangle theorem, on the number of triangles formed by systems of lines, with a correct proof? Source: https://faculty...
Click to read more »Talk:Solana (blockchain platform)
Senin, 2025-12-22 08:59:05sources to add something about proof of history. For example: Solana's proof of stake mechanism includes what Solana calls "proof of history", which is used...
Click to read more »Talk:Knaster–Kuratowski fan
Sabtu, 2025-11-01 03:26:42It would be great to include a proof that the fan is connected, and that it is totally disconnected when its apex is removed. For the benefit of the visual...
Click to read more »Talk:Recursive definition
Kamis, 2025-01-16 03:14:59to be proved.) In the second part of the proof, one defines the desired function f (now called "F" in the proof) to be "the set theoretic union of all the...
Click to read more »Talk:Copeland–Erdős constant
Jumat, 2026-03-06 01:52:50no such thing. What it does give is two proofs that the Copeland-Erdős constant is irrational. One is the proof based on Dirichlet's theorem, as referenced...
Click to read more »Talk:Rank of an elliptic curve
Senin, 2024-03-18 23:29:43I removed a false bit from the opening section " A claimed proof (assuming Birch–Swinnerton-Dyer conjecture mentioned above) by Alexander Smith has been...
Click to read more »Talk:Post correspondence problem
Kamis, 2024-02-08 12:57:28It seems to me this page would benefit greatly from a proof that the problem is undecidable. If there's one here already, it needs clarification because...
Click to read more »Talk:Vanier College
Sabtu, 2024-03-09 00:06:54about the bomb threat? Chitu 18:41, 17 August 2005 (UTC) Does anyone have proof that its the most politically active CEGEP, I go to CEGEP in Montreal and...
Click to read more »Talk:Fermat point
Jumat, 2024-02-02 02:35:16As I was reading through the proof, I found it to be (to the best of my knowledge) incomplete. Here is why: "Because AR=AB, AC=AQ, by construction, and...
Click to read more »Talk:Immerman–Szelepcsényi theorem
Minggu, 2025-12-14 16:16:27does not give the proof, and don't state it is a padding argument (I can't find anyline explaining the result). But Immerman's proof work directly for...
Click to read more »Talk:American Platinum Eagle
Rabu, 2024-01-24 21:36:44Eagle Proof Obverse.jpg 2019 American Platinum Eagle Proof Obverse.jpg American Platinum Eagle 2006 Proof Rev.jpg American Platinum Eagle 2007 Proof Rev...
Click to read more »Talk:Four color theorem/Archive 1
Selasa, 2020-04-21 01:40:46doubling: "n 2004, Benjamin Werner and Georges Gonthier from INRIA formalized a proof of the theorem inside the Coq theorem prover. This removes the need to trust...
Click to read more »Talk:The Burden of Proof (Barlow novel)
Minggu, 2024-02-04 21:41:31...
Click to read more »Talk:Cantor's diagonal argument/Archive 2
Senin, 2022-04-04 17:47:09with having a simple proof of uncountability of R and a more complicated proof of T and R having the same cardinality. In the proof box for the latter,...
Click to read more »Talk:Cantor's diagonal argument/Arguments
Rabu, 2026-03-18 19:19:54all the sets to be counted per the statement of the proof 'count all the...' for it to be a PROOF. Saying that doesn't count with ∞ because with ∞ one...
Click to read more »Talk:Hilbert system
Jumat, 2024-11-08 23:37:45have merely cited him. If you mean proofs from P2 to Frege's system, that's easy, you only need a completeness proof from P2. These include reductions...
Click to read more »Talk:Anti-knot
Sabtu, 2007-07-21 19:42:15Is "Proof 1" really a proof? I don't see it. It states the obvious but doesn't exclude the possibility of a non-obvious configuration that is equivalent...
Click to read more »Talk:Legendre's formula
Sabtu, 2024-03-09 09:04:05derived from each other. The section was only long because of the proof; if the proof is not necessary, let's leave it out. The citation should be the...
Click to read more »Talk:Negativity (quantum mechanics)
Rabu, 2024-01-31 22:31:54the lognegativity is not asymptotically continuous. But I can't find the proof of that statement in the quoted literature. Nor elsewhere. It is stated...
Click to read more »Talk:Fermat's Last Theorem/Archive 2
Jumat, 2014-05-30 04:51:03"All the other theorems proposed by Fermat were proven, either in his own proofs or by other mathematicians, in the two centuries following their proposition...
Click to read more »Talk:Peetre theorem
Senin, 2024-07-29 15:31:57November 2005 (UTC) I added the proof. In my opinion this result is counter-intuitive enough to require it. The proof still needs some work, though. Silly...
Click to read more »Talk:Lagrange's four-square theorem
Senin, 2024-02-05 06:02:132007 (UTC) The article says (uncited) "An earlier proof by Fermat was never published." Does this proof definitely exist, or is it another of those marginal...
Click to read more »