I believe that if a Christian were to convince himself/herself that Chrsitianity is false, then he/she would most likely either (1) choose another religion or become a 'secular Christian', i.e. a non-believer that still follows some ethical teachings and sees the techaings as meaningful. Of course, others might reject completely. — boundless
what is the foundation of ethics for an antinatalist? — boundless
I have a lot of difficulty with the idea of something true but unprovable. How could we know that such things exist, and if we do, how do know what they are? But this is a bit more specific and so it helps. I still haven't seen an example of such a truth and would love to do so. — Ludwig V
Not if you want to reconstruct reality rather than a pale comparison. — AmadeusD
https://en.wikipedia.org/wiki/Kolmogorov_complexity#Chaitin's_incompleteness_theorem
There exists a constant L (which only depends on S and on the choice of description language) such that there does not exist a string s for which the statement
K(s) ≥ L (as formalized in S)
can be proven within S.
https://en.wikipedia.org/wiki/Kolmogorov_complexity#Compression
It is straightforward to compute upper bounds for K(s) – simply compress the string s with some method, implement the corresponding decompressor in the chosen language, concatenate the decompressor to the compressed string, and measure the length of the resulting string – concretely, the size of a self-extracting archive in the given language.
it sounds like you're apply concepts in data processing to "reality" which seems... off, to say the least. Is there a basis for it? — AmadeusD
http://www.sci.brooklyn.cuny.edu/~noson/True%20but%20Unprovable.pdf
Gregory Chaitin described an innovative way of finding true but unprovable statements. He started by examining the complexity of the axioms of a logical system. He showed that there are certain statements that are much more complex than the axioms of the system. Such statements are true but cannot be proven by the axioms of the logical system. The following motto is sometimes used to explain this:
“A fifty-pound logical system cannot prove a seventy-five-pound theorem.”
In particular, basic arithmetic is a logical system that has a level of complexity and so there are certain types of statements that are true but too complex to be proven using basic arithmetic. The main point for our story is that within basic arithmetic we can always find more complicated statements of a certain type. Hence, there are infinitely many true but unprovable statements.
https://arxiv.org/pdf/2302.08619
A proof of Gödel’s incompleteness theorems
using Chaitin’s incompleteness theorem
Abstract
Gödel’s first and second incompleteness theorems are corner stones of modern mathematics. In this article we present a new proof of these theorems for ZFC and theories containing ZFC, using Chaitin’s incompleteness theorem and a very basic numbers extension.
As opposed to the usual proofs, these proofs don’t use any fixed point theorem and rely solely on sets structure. Unlike in the original proof, the statements which can be shown to be unprovable by our technique exceed by far one specific statement constructed from the axiom set.
Our goal is to draw attention to the technique of number extensions, which we believe can be used to prove more theorems regrading the provability and unprovability of different assertions regarding natural numbers.
I'm always interested in metaphysical speculation of that kind. — AmadeusD
There may not be any elegant simplicity axiomatic to everything. — ucarr
But the question: Do you believe it is possible for future generations of humans to become more moral by comparison to the morality of humans today? — javra
The irony of you positing this, when you require a Cosmic dictator to accept the facts of life - is almost beyond humour. — AmadeusD
I apologise, mildly but I thought you should have to read this page. — AmadeusD
Oh brother. You don't understand the majority of what you've posted. I remember that zone well. — AmadeusD
https://thephilosophyforum.com/discussion/15341/a-tough-but-solvable-riddle
A tough (but solvable) riddle.
This riddle was not invented by me, but I have changed all the details to avoid it being easy to look up the canonical answer.
You did not. You posted a popular, sponsored article which has been removed from the 'credible' list by more than one poster. You're going to beat a dead horse now too? — AmadeusD
Blue Boy Club
Club in Kuala Lumpur, Malaysia
Google review summary
"Nice local drag show"
"I go to see the drag queen show more often. They are super profitional and amazing"
50, Jln Sultan Ismail, Bukit Bintang, 50250 Kuala Lumpur, Wilayah Persekutuan Kuala Lumpur, Malaysia
Are there gay clubs in Malaysia?
Source Built next to the Leisure Mall, Cheras, the iBlue Bar is one of the lively karaoke gay bars in Kuala Lumpur that holds regular dance and drag performances. The staff is polite and well-trained, and the owner is welcoming and gracious.
Syllogisms don't come from Mathematical concepts. — AmadeusD
https://en.m.wikipedia.org/wiki/Syllogism
Kant's opinion stood unchallenged in the West until 1879, when Gottlob Frege published his Begriffsschrift (Concept Script). This introduced a calculus, a method of representing categorical statements (and statements that are not provided for in syllogism as well) by the use of quantifiers and variables.
This led to the rapid development of sentential logic and first-order predicate logic, subsuming syllogistic reasoning, which was, therefore, after 2000 years, suddenly considered obsolete by many.[original research?] The Aristotelian system is explicated in modern fora of academia primarily in introductory material and historical study.
https://www.cs.cornell.edu/courses/cs3110/2018fa/lec/21-coq-logic/notes.html
We see that
syllogism =
fun (P Q : Prop) (evPimpQ : P -> Q) (evP : P) => evPimpQ evP : forall P Q : Prop, (P -> Q) -> P -> Q
Picking that apart, syllogism is a function that takes four arguments. The third argument evPimpQ is of type P -> Q. Going back to our reading of -> in different ways, we can think of evPimpQ as a function that transforms something of type P into something of type Q, or evidence for P -> Q, or a transformer that takes in evidence of P and produces evidence of Q.
You are cherry-picking — AmadeusD
https://www.telegraph.co.uk/global-health/climate-and-people/life-hiding-kabuls-gay-community-driven-underground/
A life in hiding: Kabul’s gay community driven underground
What you've posted is a popular article literally advertising specific bars in the area. — AmadeusD
You are literally rabbiting a South Korean anti-male movement called the 4B Movement. — AmadeusD
No one will take this seriously. — AmadeusD
https://en.m.wikipedia.org/wiki/Attractor
In the mathematical field of dynamical systems, an attractor is a set of states toward which a system tends to evolve,[2] for a wide variety of starting conditions of the system. System values that get close enough to the attractor values remain close even if slightly disturbed.
Considering the extreme statistical unlikelihood that asking someone out or having sex will land a well-meaning commonsensical person in trouble — Baden
https://www.celebritynetworth.com/richest-athletes/richest-soccer/ronaldo-net-worth/
Cristiano Ronaldo is a Portuguese professional soccer player, product ambassador, and entrepreneur who has a net worth of $600 million.
https://www.espn.com/soccer/story/_/id/38562015/us-appeals-court-hear-arguments-cristiano-ronaldo-rape-case-settlement
Mayorga, a former teacher and model from the Las Vegas area, was 25 when she met Ronaldo at a nightclub in 2009 and went with him and other people to his hotel suite. She alleges in her lawsuit filed almost a decade later that Ronaldo, then 24, sexually assaulted her in a bedroom. Ronaldo, through his lawyers, maintained the sex was consensual. The two reached a confidentiality agreement in 2010 under which Stovall acknowledged that Mayorga received $375,000.
In dismissing the case last year, U.S. District Judge Jennifer Dorsey in Las Vegas took the unusual step of levying a $335,000 fine against Mayorga's lead lawyer, Stovall, for acting in "bad faith" in filing the case on his client's behalf.
https://apnews.com/article/brazil-soccer-robinho-alves-93efaee4cec6a663b68cc48b0842ae39
SAO PAULO (AP) — Brazil soccer chief Ednaldo Rodrigues says the rape convictions of former internationals Dani Alves and Robinho ends “one of the most nefarious chapters” in the country’s sports history.
https://www.france24.com/en/europe/20230714-french-footballer-benjamin-mendy-acquitted-of-rape-charges-by-uk-jury
French footballer Benjamin Mendy acquitted of rape charges by UK jury
Former Manchester City and France footballer Benjamin Mendy broke down in tears on Friday, as a UK jury cleared him of sex offences.
Show me the incentives, and I’ll show you the outcome.
-- Charlie Munger
The problem with this point of view is that it assumes to know the type of legal action which will be applied, before hand. This implies that the person doing jurisdiction shopping intends wrongdoing from the beginning. — Metaphysician Undercover
https://www.traliant.com/blog/is-asking-out-a-coworker-considered-sexual-harassment.
Is Asking Out a Coworker Considered Sexual Harassment?
Ultimately, it comes down to the individual circumstances and how the person who is being asked feels about the situation.
But according to your own story, you advocate running away rather than risking anything. — Baden
family law, where partners who sacrifice more in a relationship are never compensated or if parents are not legally obliged to financially support their children. — Baden
Is all of this just a roundabout way of saying Islamic countries are better than Western countries? — Baden
Morally speaking, you should take care of your children and in some cases your former partner, — Benkei
So a person should avoid ever trying anything new in one's life if one doesn't want the potential for a serious legal matter? — Metaphysician Undercover
Why would you suspect that dating would lead to a court case, unless you were planning on doing something wrong on that date? — Metaphysician Undercover
I think I can guess the gender of the Passport Bro's nemeses. — Baden
https://www.travelgirls.com
Why travel with us?
Are you looking for someone to share your next trip with?
With over 2 million members and countless matches, Travelgirls might be just the right place to start.
Until there are no people left in one generation. — Baden
If someone gets paid cash and prizes for blowing up the relationship, that is exactly what they are going to be doing. — Tarskian
Your view is stupid and superficial. And keep a lid on the misogyny. — Baden
Maybe they have faith in their ability not to screw up their relationship. — Baden
Show me the incentive, I’ll show you the outcome.
-- Charlie Munger
It is just as you say here in the west, maybe we should all do as they do in the east. No divorce needed, just stone them to death. — Sir2u
https://www.theguardian.com/commentisfree/2023/feb/25/young-men-relationships-study-week-in-patriarchy
A recent Pew Research study has found that 63% of men under 30 describe themselves as single, compared with 34% of women in the same age bracket.
Because that's a rather narrow view of "avoiding legal issues". — Baden
In Ohio you can just go to the drugstore and buy the paperwork for a divorce. It's cheap. You fill it out with your spouse, appear before a judge, and you're divorced. It's easy — frank
https://dlbcounsel.com/divorce-in-ohio-with-children/
Divorce in Ohio With Children
Law Office of Dmitriy Borshchak
Divorce is always difficult. That’s especially true if you’re considering divorce in Ohio with children. Divorces involving children are generally contentious, require more work, complicated, and much more consequential.
At the Law Office of Dmitriy Borshchak, our Columbus family law lawyers understand the challenges of getting a divorce when you’re a parent.
You haven't made any coherent argument that living in the "West" is a relative legal risk in general. — Baden
But who cares what you want? — Baden
https://www.buzzfeed.com/fabianabuontempo/men-who-dont-want-to-get-married
Men Are Sharing The Specific Reasons They Don't Want To Get Married, And Several Are Eye-Opening
4. "It creates a contractual agreement between two parties that either party can withdraw from the contract at any time. However, the less well-off party can have the state order the more well-off party to give a substantial amount of income to them just because they decided to void the contract. If you did not describe this as marriage, any lawyer would tell you to run. I have no desire to involve the state in my relationship just to hand someone a tool to ruin my life with."
9. "Most of the women I know seem to view marriage as an opportunity for social media photos rather than a real commitment. Combine that with the family court's hostility toward men, and it's just a recipe for disaster. Plus, I've heard 'forever' from too many women to believe it anymore."
But in the fine print, you are not really insisting on nos, you are suggesting that we go off somewhere else, and do it where no one is looking. — Metaphysician Undercover
Thinking of Jesus as just a man like anybody else makes you nothing because that is not a particular belief or worldview. To be Christian, you need to believe that Jesus Christ is divine and died for us. Mormons aren't Christian, neither are Kardecists.
Yes, I am being restrictive. Words have meaning. — Lionino
https://en.m.wikipedia.org/wiki/Christology
In Christianity, Christology[a] is a branch of theology that concerns Jesus. Different denominations have different opinions on questions such as whether Jesus was human, divine, or both, and as a messiah what his role would be in the freeing of the Jewish people from foreign rulers or in the prophesied Kingdom of God, and in the salvation from what would otherwise be the consequences of sin.[1][2][3][4][5]
From the second to the fifth centuries, the relation of the human and divine nature of Christ was a major focus of debates in the early church and at the first seven ecumenical councils. The Council of Chalcedon in 451 issued a formulation of the hypostatic union of the two natures of Christ, one human and one divine, "united with neither confusion nor division".[6] Most of the major branches of Western Christianity and Eastern Orthodoxy subscribe to this formulation,[6][7] while many branches of Oriental Orthodox Churches reject it,[8][9][10] subscribing to miaphysitism.
The same a historian, he comes up with a causal mechanism and looks to disprove it which is much harder because the event was singular in the past. But he still has some tools of falsifying his claims in principle. — Johnnie
Why do you think that? — wonderer1
https://www.nu.edu/blog/ask-an-expert-can-human-behavior-be-studied-scientifically/
Ask an Expert: Can Human Behavior Be Studied Scientifically?
But even if the answer to our initial question, “Can human behavior be studied scientifically,” is yes, that doesn’t imply it can be studied easily.
With human behavior experiments being so difficult to design, Jenkins cautions that the quest for measurability can risk steering research efforts down paths that are less than rigorous.
Even more challenging to the test designer, Jenkins adds, is to remember that taking a test is itself a behavior. This means that tests need to try to take into account the attitudes of test takers while they are taking the test.
This means some people may answer questions based on how they want to be perceived, rather than how they truly are.
One of the most difficult hurdles for researchers observing human behavior is how to deal with the reality that human test subjects are always aware they are being studied and can modify their behavior—purposely or unconsciously—in response.
https://en.m.wikipedia.org/wiki/Rice%27s_theorem
In computability theory, Rice's theorem states that all non-trivial semantic properties of programs are undecidable. A semantic property is one about the program's behavior (for instance, "does the program terminate for all inputs?"), unlike a syntactic property (for instance, "does the program contain an if-then-else statement?").
It implies that it is impossible, for example, to implement a tool that checks whether a given program is correct, or even executes without error.
Add a huge reservoir of data and progress depends upon interpreting what it all means. — jgill
An argument for a distinction between historians and scientists is yet to be made in this thread. — Johnnie
The scientific status of psychology and the social sciences is often called into question because they are not so amenable to the kinds of certainty that characterise the so-called 'hard sciences'. — Wayfarer
I'm not surprised that people were more optimistic. There must be a lot of resistance to accepting that the system is that bad. The cost of research is going to sky-rocket if all experiments have to be done twice, by different laboratories and people. But the incentives to be careless or reckless are very high. Too much competition. — Ludwig V
Ideally, I would do all experiments myself. But life's too short. I'm sure you agree. — Ludwig V
https://www.nature.com/articles/533452a
More than 70% of researchers have tried and failed to reproduce another scientist's experiments, and more than half have failed to reproduce their own experiments.
Data on how much of the scientific literature is reproducible are rare and generally bleak. The best-known analyses, from psychology1 and cancer biology2, found rates of around 40% and 10%, respectively. Our survey respondents were more optimistic: 73% said that they think that at least half of the papers in their field can be trusted, with physicists and chemists generally showing the most confidence.
Indulge your illusions if they give you comfort. — apokrisis
But it is perfectly clear how little idea you have about what that is. You are just babbling in the fashion expected of the standard crypto bro digital nomad. Not an original thought in your head apparently. Just going with the latest meme lifestyle. Fitting in with your chosen crowd. :up: — apokrisis
Please, feel free to critique several reports from legal experts in the region. — AmadeusD
https://www.holidify.com/pages/gay-bars-in-kuala-lumpur-4392.html
10 Best Gay Bars in Kuala Lumpur for a Lively Night
If you are a proud part of LGBTQ pride and are looking for a stress-free and safe time of the night in Kuala Lampur, then these LGBTQ-friendly bars are perfect for you! Here are the top 11 gay bars in Kuala Lumpur.