User contributions for Phrygas

1 December 2024

• 21:5821:58, 1 December 2024 diff hist +28 Erythrae No edit summary current

21 October 2024

• 19:5819:58, 21 October 2024 diff hist −11 Propositional calculus Exportation and importation rules are one-directional, together they become bidirectional.
• 19:4819:48, 21 October 2024 diff hist +1 m Propositional calculus No edit summary

29 September 2024

• 13:3213:32, 29 September 2024 diff hist −7 Oeconomicus No edit summary
• 13:3113:31, 29 September 2024 diff hist +114 Oeconomicus Citation for JohnEpstein's statement Tag: Visual edit: Switched

13 September 2024

• 22:2922:29, 13 September 2024 diff hist +26 Propositional calculus "Tautology" is a very general term; these are known as idempotence laws. Tag: Visual edit
• 22:2522:25, 13 September 2024 diff hist +8 Propositional calculus No edit summary Tag: Manual revert
• 22:2522:25, 13 September 2024 diff hist −8 Propositional calculus Tautology is a very general term; these are idempotence laws. Tags: Reverted Visual edit

30 August 2024

• 18:1618:16, 30 August 2024 diff hist +4 George Boolos No edit summary
• 18:1418:14, 30 August 2024 diff hist +108 George Boolos No edit summary

24 August 2024

• 18:3218:32, 24 August 2024 diff hist −43 Fred Dretske Lost hyperlink

10 August 2024

• 18:5018:50, 10 August 2024 diff hist −2 Markos Vafeiadis The referred article itself tells that he was from Tosya. Indeed, Erzurum was a place with a tiny Greek population.

20 June 2024

• 21:4221:42, 20 June 2024 diff hist −1 Lagocephalus sceleratus No edit summary
• 21:4221:42, 20 June 2024 diff hist +325 Lagocephalus sceleratus A deadly incidence from Turkey is added
• 17:4117:41, 20 June 2024 diff hist +1 Maria Palaiologina Sokak = Lane
• 17:3817:38, 20 June 2024 diff hist +5 Maria Palaiologina In the context of the Church, "kanlı" can be translated as either "bloodstained" or "bloody".

19 June 2024

• 13:1213:12, 19 June 2024 diff hist +42 For a Few Dollars More The shoot-out takes place on a threshing floor; many people do not recognise this rural structure. Tag: Reverted

27 March 2024

• 23:0423:04, 27 March 2024 diff hist +2 Peppino di Capri No edit summary
• 23:0323:03, 27 March 2024 diff hist +72 Peppino di Capri No edit summary

29 February 2024

• 23:4223:42, 29 February 2024 diff hist −17 Radiodrome The concept has nothing to do with the Greek word radios. The German version is correct: Die Radiodrome („Leitstrahlkurve“, v. lat. radius „Strahl“ und griech. dromos „Lauf, Rennen“), current

12 January 2024

• 18:2618:26, 12 January 2024 diff hist +222 Talk:Class (knowledge representation) →Merge Proposal: Reply Tag: Reply

23 December 2023

• 18:3318:33, 23 December 2023 diff hist +15 Witnesses and testimonies of the Armenian genocide There is not even a minor testimony against Kemal Atatürk (see the relevant column). The expression "fully" is unsubstantiated and not a view of serious historiography.

14 December 2023

• 12:4012:40, 14 December 2023 diff hist +19 Nirmala UI Explanation of UI

14 June 2023

• 14:1414:14, 14 June 2023 diff hist 0 m Karpathos Spelling correction

17 March 2023

• 17:0817:08, 17 March 2023 diff hist +74 John Pediasimos No edit summary

2 December 2022

• 18:2418:24, 2 December 2022 diff hist −3 Church of Santa Maria dell'Ammiraglio Ancient Greek is an older form of the language and has nothing to do with Christianity.

28 November 2022

• 12:4912:49, 28 November 2022 diff hist +78 Nineveh Layard and British Museum use the form "kouyunjik"

8 October 2022

• 16:4616:46, 8 October 2022 diff hist +69 Exportation (logic) Clarification of previous edit
• 16:4116:41, 8 October 2022 diff hist +348 Exportation (logic) The law of exportation is a conditional, not a biconditional. Its converse is the law of importation.

9 September 2022

• 16:4616:46, 9 September 2022 diff hist +107 Correction fluid No edit summary

6 September 2022

• 14:4414:44, 6 September 2022 diff hist 0 Cartesian product f is the usual letter to denote functions Tag: Reverted

28 August 2022

• 09:1109:11, 28 August 2022 diff hist +99 Polish notation Addition exclusive (strong) disjunction. The Polish term to be supplied

27 August 2022

• 12:0012:00, 27 August 2022 diff hist +175 Cape Tisan origin of the name Tisan

6 July 2022

• 11:2811:28, 6 July 2022 diff hist +13 Gemiler Island No edit summary
• 11:2611:26, 6 July 2022 diff hist +1 Gemiler Island No edit summary
• 11:2511:25, 6 July 2022 diff hist +249 Gemiler Island No edit summary
• 11:2011:20, 6 July 2022 diff hist +40 Gemiler Island No edit summary

31 May 2022

• 21:5821:58, 31 May 2022 diff hist 0 Stephen Cole Kleene No edit summary
• 21:5621:56, 31 May 2022 diff hist −1 Stephen Cole Kleene No edit summary
• 21:5421:54, 31 May 2022 diff hist +39 Stephen Cole Kleene No edit summary
• 21:5121:51, 31 May 2022 diff hist +133 Stephen Cole Kleene No edit summary

23 May 2022

• 07:4207:42, 23 May 2022 diff hist +307 N User:Phrygas/sandbox ←Created page with '{{User sandbox}} <!-- EDIT BELOW THIS LINE --> {{reply to|Jochen Burghardt}} For an explanation see https://math.stackexchange.com/a/3262093/754923, and also see see Ian Chiswell and Wilfrid Hodges' Mathematical Logic, chapter 5 ~~~~' current

22 May 2022

• 11:3411:34, 22 May 2022 diff hist −211 Open formula The statement that an open formula is not truth-apt is wrong; I shall expand on this. Tag: Reverted

9 May 2022

• 16:1816:18, 9 May 2022 diff hist +6 Bounded quantifier No edit summary
• 16:1816:18, 9 May 2022 diff hist +32 Bounded quantifier No edit summary

3 May 2022

• 10:5510:55, 3 May 2022 diff hist −57 Z3 Theorem Prover Dead link

2 May 2022

• 11:1511:15, 2 May 2022 diff hist 0 Isidore Bonheur No edit summary
• 11:1411:14, 2 May 2022 diff hist +33 Isidore Bonheur No edit summary

27 April 2022

• 13:0813:08, 27 April 2022 diff hist +1 Free logic No edit summary
• 13:0713:07, 27 April 2022 diff hist +3 Free logic No edit summary