Edge Rewrite
// HTMLRewriter · presentation

This page was redesigned at the edge.

Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.

// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country
US
Cloudflare location
CMH
Connection
HTTP/2
Language
Not provided

Ray ID: a21fa7cf6bc9d434

Jump to content

Talk:Object language

Page contents not supported in other languages.
Add topic
From Wikipedia, the free encyclopedia
Latest comment: 4 years ago by GenQuest in topic Merger discussion

Merger discussion

[edit]

The following discussion is closed. Please do not modify it. Subsequent comments should be made on the appropriate discussion page. No further edits should be made to this discussion.


Request received to merge articles: Object theory into Object language; dated: 08/2021. Proposer's Rationale: The page Object theory is entirely predicated on a misunderstanding of a description given by Kleene in his text Introduction to Metamathematics, which is frequently cited throughout the article. Kleene describes in this text how one theory (in the sense of model theory) may be interpreted in terms of another, and when doing so uses the the terms "metatheory" and "object theory" to refer to these two theories respectively. Kleene is here using the phrase "object theory" precisely in the sense of Object language, but it seems that somebody has created the page Object theory under the grave misapprehension that there is a specific area of mathematics called "Object theory". Of course, there is not - and subsequently much of the rest of the page is transparently a very low-quality attempt at explaining what an object language is by means of "examples". I do not think much if any of it is salvageable, and that the correct procedure here would be to simply blank-and-redirect the page. Discuss here. Jackcrawf3 (talk) 12:38, 27 August 2021 (UTC)Reply

If so then the actual concept here is metalanguage (or interpretation in the model theory sense) and both pages could be redirected or merged to that. Sesquivalent (talk) 19:36, 5 October 2021 (UTC)Reply
I agree with the analysis by Jackcrawf3, and I also agree that both pages should be merged into metalanguage. It looks like quite a bit of work, though, and I don't know when I would get to it. Felix QW (talk) 11:56, 9 February 2022 (UTC)Reply
The discussion above is closed. Please do not modify it. Subsequent comments should be made on the appropriate discussion page. No further edits should be made to this discussion.

دشیانو ژیهطدطړطنینینینیدیدیدیدددطدیړړیړ

[edit]

ړزنبمیکیکینینیکیجثحت ی یړنطمن 152.36.218.74 (talk) 15:06, 28 May 2022 (UTC)Reply